home *** CD-ROM | disk | FTP | other *** search
/ Fresh Fish 8 / FreshFishVol8-CD1.bin / new / util / edit / jade / man / makefile < prev    next >
Makefile  |  1994-10-05  |  2KB  |  69 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. SRCS = jade.texi user.texi programmer.texi
  19.  
  20. MAKEINFO = makeinfo
  21.  
  22. # This should be the special version of makeinfo which supports AmigaGuide
  23. # files if you want the .guide or .doc file
  24. MAKEGUIDE = makeguide
  25.  
  26. #MAKEINFOFLAGS = --no-validate
  27. MAKEINFOFLAGS = 
  28.  
  29. TEXI2DVI = texi2dvi
  30. DVIPS = dvips
  31.  
  32. jade.info : $(SRCS)
  33.     $(MAKEINFO) $(MAKEINFOFLAGS) jade.texi -o jade.info
  34.  
  35. jade.guide : $(SRCS)
  36.     $(MAKEGUIDE) $(MAKEINFOFLAGS) --amiga jade.texi -o jade.guide
  37.  
  38. jade.doc : $(SRCS)
  39.     $(MAKEGUIDE) $(MAKEINFOFLAGS) --amiga --no-headers jade.texi -o jade.doc
  40.  
  41. jade.dvi : $(SRCS)
  42.     $(TEXI2DVI) jade.texi
  43.  
  44. jade.ps : jade.dvi
  45.     $(DVIPS) jade.dvi
  46.  
  47. all : jade.info
  48.  
  49. man : jade.info jade.guide jade.doc jade.dvi jade.ps
  50.  
  51. install.info : jade.info $(infodir)
  52.     for file in jade.info*; \
  53.     do \
  54.       $(INSTALL_DATA) $$file $(infodir)/$$file; \
  55.     done
  56.     if [ ! -e $(infodir)/dir ]; \
  57.     then \
  58.       cp dir $(infodir); \
  59.     fi
  60.  
  61. $(infodir) :
  62.     mkdir $(infodir)
  63.  
  64. uninstall.info :
  65.     rm -f $(infodir)/jade.info*
  66.  
  67. clean realclean :
  68.     rm -f *~ jade.info* jade.guide jade.doc jade.dvi jade.ps
  69.