diff options
Diffstat (limited to 'doc/user/prg_lone')
| -rw-r--r-- | doc/user/prg_lone | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/user/prg_lone b/doc/user/prg_lone index 324f79e..950fa05 100644 --- a/doc/user/prg_lone +++ b/doc/user/prg_lone @@ -4,6 +4,9 @@ @Begin @PP Printing of program files independently of any document is accomplished by +programs. @RawIndex { programs } +programs.standalone @SubIndex { stand-alone } +standalone.programs @Index { stand-alone programs } the following Unix pipeline: @ID @Code "prg2lout -l language options files | lout -s > out.ps" where @Code language stands for any one of the programming language |