home *** CD-ROM | disk | FTP | other *** search
/ InfoMagic Internet Tools 1993 July / Internet Tools.iso / RockRidge / mail / pp / pp-6.0 / doc / manual / Make.defs < prev    next >
Encoding:
Text File  |  1990-09-20  |  681 b   |  31 lines
  1. ############################################################
  2. #
  3. #    Default Configuration values for Documentation
  4. #
  5. ############################################################
  6. #
  7. #
  8. ############################################################
  9. #
  10. # @(#) $Header: /cs/research/pp/hubris/pp-beta/doc/manual/RCS/Make.defs,v 5.0 90/09/20 16:36:08 pp Exp Locker: pp $
  11. #
  12. # $Log:    Make.defs,v $
  13. # Revision 5.0  90/09/20  16:36:08  pp
  14. # rcsforce : 5.0 public release
  15. # 
  16. #
  17. ############################################################
  18.  
  19.  
  20.  
  21. LATEX        = latex
  22. TGRIND        = tgrind
  23. GRINDEFS    = grindefs
  24. WEAVE        = weave
  25. DVI2PS        = dvi2ps
  26. DVIIMP        = dviimp
  27. DVISP        = dvisp
  28. DFLAGS        = 
  29.  
  30. # TEXEDIT=/usr/ucl/jove +%d %s
  31.