From 328f5cd3bb837ab929094c0876fdbe616f77adb7 Mon Sep 17 00:00:00 2001 From: Bruce Hill Date: Wed, 18 Jul 2018 01:42:12 -0700 Subject: Updated Makefile to copy over compatibility and tools directories, and updated launcher script to list installed nomsu versions. --- doc/nomsu.1 | 3 +++ 1 file changed, 3 insertions(+) (limited to 'doc') 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 -- cgit v1.2.3