diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-10-09 13:30:10 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-09 13:30:10 +0000 |
commit | 708b0d8a9d1cdd4965746aba3c2fe417f8d76d6b (patch) | |
tree | ffa90e4de4ba350bb05dc8128141c78dc283eeb7 /images/Makefile | |
parent | 7065e45e59de0f76fe89ae5f8be549bbcb67f807 (diff) |
Changed to build gif files for text logo.
Diffstat (limited to 'images/Makefile')
-rw-r--r-- | images/Makefile | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/images/Makefile b/images/Makefile index 468c294e..146b4aa5 100644 --- a/images/Makefile +++ b/images/Makefile @@ -18,10 +18,15 @@ ## ########################################################################### +# Sources BUTTONS=goal.xcf next.xcf qed.xcf restart.xcf retract.xcf undo.xcf use.xcf WEBPIX=ProofGeneral.xcf text_general.xcf text_proof.xcf -WEBPIX_ONLY=text_general.jpg text_proof.jpg -WEBPIX_TARGETS=$(WEBPIX_ONLY) ProofGeneral.jpg + +# Targets for html directory +WEBPIX_ONLY= +WEBPIX_TARGETS=$(WEBPIX_ONLY) ProofGeneral.jpg text_general.gif text_proof.gif +# Junk not wanted +UNWANTED=text_general.jpg text_proof.jpg CWD=$(shell pwd) GIMP_DIRECTORY=$(CWD)/gimp @@ -33,15 +38,14 @@ default: all all: buttons webpix -dist: all install clean - rm -f $(WEBPIX_ONLY) +dist: all install distclean buttons: $(BUTTONS) $(GIMP) '(script-fu-proofgeneral-make-all-buttons 1)' '(gimp-quit 0)' touch buttons webpix: $(WEBPIX) - $(GIMP) '(script-fu-proofgeneral-save-all-jpegs 1)' '(gimp-quit 0)' + $(GIMP) '(script-fu-proofgeneral-save-all-pix 1)' '(gimp-quit 0)' touch webpix cvsclean: clean @@ -57,6 +61,7 @@ distclean: clean clean: rm -f buttons webpix gimp/pluginrc + rm -f $(WEBPIX_ONLY) $(UNWANTED) install: webpix cp -pf $(WEBPIX_TARGETS) ../html |