diff options
Diffstat (limited to 'man')
| -rw-r--r-- | man/prg2lout.1 | 8 | ||||
| -rw-r--r-- | man/prg2lout.txt | 6 |
2 files changed, 14 insertions, 0 deletions
diff --git a/man/prg2lout.1 b/man/prg2lout.1 index 7014e46..27232c7 100644 --- a/man/prg2lout.1 +++ b/man/prg2lout.1 @@ -93,6 +93,14 @@ is sufficiently large. For example, .B -T0.5i produces half-inch tab intervals. .TP +.BI \-S " filename" +Use +.I filename +as the setup file instead of the system default setup file. The setup +file determines the value of all formatting options not given to +.I prg2lout +as command line arguments. +.TP .B \-u Print usage information on stderr, including available languages, and exit. .TP diff --git a/man/prg2lout.txt b/man/prg2lout.txt index 991315d..848c4ff 100644 --- a/man/prg2lout.txt +++ b/man/prg2lout.txt @@ -68,6 +68,12 @@ OPTIONS is sufficiently large. For example, -T0.5i produces half-inch tab intervals. + -S filename + Use filename as the setup file instead of the system + default setup file. The setup file determines the + value of all formatting options not given to prg2lout + as command line arguments. + -u Print usage information on stderr, including available languages, and exit. |