From 708b0d8a9d1cdd4965746aba3c2fe417f8d76d6b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 9 Oct 1998 13:30:10 +0000
Subject: Changed to build gif files for text logo.

---
 images/Makefile | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

(limited to 'images/Makefile')

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
-- 
cgit v1.2.3