diff options
Diffstat (limited to 'lib/commandline')
| -rw-r--r-- | lib/commandline/init.nom | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/lib/commandline/init.nom b/lib/commandline/init.nom index f28e02b..68836fb 100644 --- a/lib/commandline/init.nom +++ b/lib/commandline/init.nom @@ -1,11 +1,12 @@ # A library defining some command line program functionality - -(command line program with $args $body) parses as: - externally (run with $args) means $body - if (this file was run directly): - run with (the command line arguments) - -externally (usage $) means: - say "Usage: \$" - exit 1 + +external: + (command line program with $args $body) parses as: + external ((run with $args) means $body) + if (this file was run directly): + run with (the command line arguments) + + (usage $) means: + say "Usage: \$" + exit 1 |