home *** CD-ROM | disk | FTP | other *** search
/ Fresh Fish 5 / FreshFish_July-August1994.bin / bbs / util / jade-3.0.lha / Jade / doc / DMakefile next >
Encoding:
Makefile  |  1994-04-19  |  1.5 KB  |  53 lines
  1. # DMakefile for jade's Texinfo based manual (dmake == Matt Dillon's make)
  2. # Copyright (C) 1993, 1994 John Harper <jsh@ukc.ac.uk>
  3.  
  4. # Jade is free software; you can redistribute it and/or modify it
  5. # under the terms of the GNU General Public License as published by
  6. # the Free Software Foundation; either version 2, or (at your option)
  7. # any later version.
  8.  
  9. # Jade is distributed in the hope that it will be useful, but
  10. # WITHOUT ANY WARRANTY; without even the implied warranty of
  11. # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12. # GNU General Public License for more details.
  13.  
  14. # You should have received a copy of the GNU General Public License
  15. # along with Jade; see the file COPYING.  If not, write to
  16. # the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
  17.  
  18. MAKEINFO = makeinfo
  19.  
  20. # This should be the special version of makeinfo which supports AmigaGuide
  21. # files if you want the .guide or .doc file
  22. MAKEGUIDE = makeguide
  23.  
  24. MAKEINFOFLAGS = --no-validate
  25.  
  26. TEXI2DVI = texi2dvi
  27. DVIPS = dvips
  28.  
  29. jade.info : jade.texi
  30.     $(MAKEINFO) $(MAKEINFOFLAGS) %(right) -o %(left)
  31.  
  32. jade.guide : jade.texi
  33.     $(MAKEGUIDE) $(MAKEINFOFLAGS) --amiga %(right) -o %(left)
  34.  
  35. jade.doc : jade.texi
  36.     $(MAKEGUIDE) $(MAKEINFOFLAGS) --amiga --no-headers %(right) -o %(left)
  37.  
  38. jade.dvi : jade.texi
  39.     $(TEXI2DVI) %(right)
  40.  
  41. jade.ps : jade.dvi
  42.     $(DVIPS) %(right)
  43.  
  44. all : jade.guide
  45.  
  46. man : jade.info jade.guide jade.doc jade.dvi jade.ps
  47.  
  48. clean :
  49.     -delete #?~ jade.info#? jade.guide jade.doc jade.dvi jade.ps
  50.  
  51. realclean : clean
  52.  
  53.