home *** CD-ROM | disk | FTP | other *** search
/ Fresh Fish 5 / FreshFish_July-August1994.bin / bbs / util / jade-3.0.lha / Jade / doc / Makefile < prev   
Encoding:
Makefile  |  1994-04-19  |  1.5 KB  |  56 lines
  1. # Makefile for Jade's Texinfo manual
  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. %.info : %.texi
  30.     $(MAKEINFO) $(MAKEINFOFLAGS) $< -o $@
  31.  
  32. %.guide : %.texi
  33.     $(MAKEGUIDE) $(MAKEINFOFLAGS) --amiga $< -o $@
  34.  
  35. %.doc : %.texi
  36.     $(MAKEGUIDE) $(MAKEINFOFLAGS) --amiga --no-headers $< -o $@
  37.  
  38. %.dvi : %.texi
  39.     $(TEXI2DVI) $<
  40.  
  41. %.ps : %.dvi
  42.     $(DVIPS) $<
  43.  
  44. all : jade.info
  45.  
  46. man : jade.info jade.guide jade.doc jade.dvi jade.ps
  47.  
  48. install.info : jade.info
  49.     for file in jade.info*; \
  50.     do \
  51.       $(INSTALL_DATA) $$file $(infodir)/$$file; \
  52.     done
  53.  
  54. clean realclean :
  55.     rm -f *~ jade.info* jade.guide jade.doc jade.dvi jade.ps
  56.