home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
The World of Computer Software
/
World_Of_Computer_Software-02-387-Vol-3of3.iso
/
p
/
plbin.zip
/
pl
/
man
/
online
< prev
next >
Wrap
Text File
|
1992-05-26
|
459b
|
16 lines
#!/bin/csh -f
set echo
set totex=./onlinetotex
setenv MANUAL ../library/MANUAL
setenv INDEX ../library/help_index.pl
$totex intro.doc | expand > intro.tex
$totex builtin.doc | expand > builtin.tex
$totex module.doc | expand > module.tex
$totex foreign.doc | expand > foreign.tex
$totex hack.doc | expand > hack.tex
cp summary.doc summary.tex
latex online.tex
latex online.tex
dvi2tty online | cat -s > $MANUAL
pl -g online_index -t halt