diff options
| author | Bruce Hill <bitbucket@bruce-hill.com> | 2018-07-18 01:42:12 -0700 |
|---|---|---|
| committer | Bruce Hill <bitbucket@bruce-hill.com> | 2018-07-18 01:42:46 -0700 |
| commit | 328f5cd3bb837ab929094c0876fdbe616f77adb7 (patch) | |
| tree | f812243a538fd0c2aefbb2c34ee8b675582f756e /doc | |
| parent | d5cfaa37be9e278c44a25ef448a071390597306e (diff) | |
Updated Makefile to copy over compatibility and tools directories, and
updated launcher script to list installed nomsu versions.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/nomsu.1 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/nomsu.1 b/doc/nomsu.1 index 20cb7a9..4eef711 100644 --- a/doc/nomsu.1 +++ b/doc/nomsu.1 @@ -30,6 +30,9 @@ If no input files are provided, \fBnomsu\fR will run in interactive mode. .BI \-V " version" Specify the desired Nomsu version (defaults to the latest installed version). E.g. \fBnomsu -V 1.2\fR or \fBnomsu -V 1.2.5.9\fR .TP +.BI \-L +List the installed versions of Nomsu (if \fB-V\fR is supplied, only print versions that match the requested pattern). +.TP .B \-O Run the compiler in optimized mode (use precompiled .lua versions of .nom files, when available) .TP |