diff options
Diffstat (limited to 'documentation/Makefile')
| -rw-r--r-- | documentation/Makefile | 28 |
1 files changed, 16 insertions, 12 deletions
diff --git a/documentation/Makefile b/documentation/Makefile index e5462a152..83a569d3b 100644 --- a/documentation/Makefile +++ b/documentation/Makefile @@ -1,9 +1,9 @@ # -# "$Id: Makefile,v 1.9.2.4 2000/02/29 21:35:47 mike Exp $" +# "$Id: Makefile,v 1.9.2.5 2000/04/25 22:16:02 mike Exp $" # # Documentation makefile for the Fast Light Tool Kit (FLTK). # -# Copyright 1998-1999 by Bill Spitzak and others. +# Copyright 1998-2000 by Bill Spitzak and others. # # This library is free software; you can redistribute it and/or # modify it under the terms of the GNU Library General Public @@ -125,22 +125,26 @@ clean: depend: install: + -mkdir -p $(prefix)/share/doc/fltk + cp -f $(HTMLFILES) index.html $(prefix)/share/doc/fltk + cp -f *.gif *.jpg $(prefix)/share/doc/fltk + chmod 644 $(prefix)/share/doc/fltk/* fltk.d/index.html: $(HTMLFILES) - @echo "Generating HTML documentation..." - @-mkdir fltk.d - @-rm -f fltk.d/* - @$(HTMLDOC) -d fltk.d -t html --verbose --toclevels 2 --bodycolor white --titleimage FL.gif $(HTMLFILES) + echo "Generating HTML documentation..." + -mkdir fltk.d + -rm -f fltk.d/* + $(HTMLDOC) -d fltk.d -t html --verbose --toclevels 2 --bodycolor white --titleimage FL.gif $(HTMLFILES) fltk.ps: $(HTMLFILES) - @echo "Generating PostScript documentation..." - @$(HTMLDOC) -f fltk.ps --jpeg --duplex --verbose --toclevels 2 --titleimage FL.gif $(HTMLFILES) + echo "Generating PostScript documentation..." + $(HTMLDOC) -f fltk.ps --jpeg --duplex --verbose --toclevels 2 --titleimage FL.gif $(HTMLFILES) fltk.pdf: $(HTMLFILES) - @echo "Generating PDF documentation..." - @rm -f fltk.pdf - @$(HTMLDOC) -f fltk.pdf --jpeg --compression=9 --duplex --verbose --toclevels 2 --titleimage FL.gif $(HTMLFILES) + echo "Generating PDF documentation..." + rm -f fltk.pdf + $(HTMLDOC) -f fltk.pdf --jpeg --compression=9 --duplex --verbose --toclevels 2 --titleimage FL.gif $(HTMLFILES) # -# End of "$Id: Makefile,v 1.9.2.4 2000/02/29 21:35:47 mike Exp $". +# End of "$Id: Makefile,v 1.9.2.5 2000/04/25 22:16:02 mike Exp $". # |