diff options
Diffstat (limited to 'documentation')
| -rw-r--r-- | documentation/Makefile | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/documentation/Makefile b/documentation/Makefile index dc23910af..9d3c7dce5 100644 --- a/documentation/Makefile +++ b/documentation/Makefile @@ -28,6 +28,9 @@ # Get configuration stuff... include ../makeinclude +# The following appends to the existing .SUFFIXES +.SUFFIXES: .gif .jpg .png .eps + SRC_DOCDIR = ./src # These are the HTML "source" files... @@ -257,6 +260,19 @@ uninstall-linux uninstall-osx: $(RM) $(DESTDIR)$(mandir)/man6/checkers.6 $(RM) $(DESTDIR)$(mandir)/man6/sudoku.6 +# Image -> eps conversions +.gif.eps: + echo Creating eps for $<... + convert $< $@ + +.jpg.eps: + echo Creating eps for $<... + convert $< $@ + +.png.eps: + echo Creating eps for $<... + convert $< $@ + # The HTML files are now generated using doxygen, and this needs # an installed doxygen version and may take some time, so this target # is not made by default. |