home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / plbin.zip / pl / man / runtex < prev    next >
Text File  |  1992-07-07  |  448b  |  18 lines
  1. #!/bin/csh -f
  2. ./totex intro.doc   | expand > intro.tex
  3. ./totex builtin.doc | expand > builtin.tex
  4. ./totex module.doc  | expand > module.tex
  5. ./totex foreign.doc | expand > foreign.tex
  6. ./totex hack.doc    | expand > hack.tex
  7. cp    summary.doc summary.tex
  8. latex doc.tex
  9. latex doc.tex
  10. ./correctindex doc.idx > tmp
  11. mv tmp doc.idx
  12. makeindex doc
  13. sed -e 's/KEY \([^ ]*\)/\\verb$\1$/' -e 's/{,}/,/' doc.ind > tmp
  14. mv tmp doc.ind
  15. latex doc.tex
  16. latex doc.tex
  17.  
  18.