home *** CD-ROM | disk | FTP | other *** search
/ RISC DISC 2 / RISC_DISC_2.iso / pd_share / program / code / pari / tex / Makefile
Encoding:
Makefile  |  1991-02-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.