home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / plbin.zip / pl / man / online < prev    next >
Text File  |  1992-05-26  |  459b  |  16 lines

  1. #!/bin/csh -f
  2. set echo
  3. set totex=./onlinetotex
  4. setenv MANUAL ../library/MANUAL
  5. setenv INDEX  ../library/help_index.pl
  6. $totex intro.doc   | expand > intro.tex
  7. $totex builtin.doc | expand > builtin.tex
  8. $totex module.doc  | expand > module.tex
  9. $totex foreign.doc | expand > foreign.tex
  10. $totex hack.doc    | expand > hack.tex
  11. cp     summary.doc            summary.tex
  12. latex online.tex
  13. latex online.tex
  14. dvi2tty online | cat -s > $MANUAL
  15. pl -g online_index -t halt
  16.