home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Professional / OS2PRO194.ISO / os2 / progs / pari / pari_137 / tex / makefile < prev    next >
Encoding:
Makefile  |  1992-05-20  |  390 b   |  14 lines
  1.  
  2. # type make manual to tex the manual. This will create a users.dvi with a 
  3. # table of contents at the end, plus a separate index.dvi, which you must 
  4. # then print separately.
  5.  
  6. all:    manual
  7.  
  8. manual:    users.tex index.tex
  9.     tex users;rm -f users.std;sort -f users.idx > users.std;\
  10.     tex index;rm -f users.idx
  11.  
  12. clean:    
  13.     rm -f users.log users.dvi users.std users.idx users.toc index.log index.dvi
  14.