From 8826dc21b35ac75bdf4c17c8c9a334d4072f4cbd Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Wed, 7 Oct 1998 15:45:51 +0000
Subject: Makefile for generating various image formats.

---
 images/Makefile | 75 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 75 insertions(+)
 create mode 100644 images/Makefile

(limited to 'images')

diff --git a/images/Makefile b/images/Makefile
new file mode 100644
index 00000000..0e35a889
--- /dev/null
+++ b/images/Makefile
@@ -0,0 +1,75 @@
+##
+## Makefile for Proof General images directory.
+## 
+## Author:   David Aspinall <da@dcs.ed.ac.uk>
+##
+## Developer use only, not part of distribution.
+##
+## $Id$
+##
+##  make buttons   make *.xpm, *.xbm from gimp xcf files
+##  make webpix    make *.jpg from gimp xcf files
+##  make install   copy *.jpg to ../html directory
+##  make clean	   remove dummy targets
+##  make cvsclean  remove non-cvs files
+##
+##  make dist	   ready for distribution
+##		   (make buttons, move jpegs to html)
+## 
+###########################################################################
+
+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
+
+CWD=$(shell pwd)
+GIMP_DIRECTORY=$(CWD)/gimp
+
+# Command to run gimp in batch mode.
+GIMP=export GIMP_DIRECTORY=$(GIMP_DIRECTORY); gimp --no-interface --no-data  --console-messages --batch
+
+default: all
+
+all: buttons webpix
+
+dist:   all install clean
+	rm -f $(WEBPIX_ONLY)
+
+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)'
+	touch webpix
+
+cvsclean: clean
+# For the time being we keep all this junk under CVS too, for convenience.
+#	rm -f *.xpm *.xbm *.jpg gimp/pluginrc
+#	rm -f *.jpg gimp/pluginrc
+
+# Remove all the generated targets and other junk.
+wellclean: clean
+	rm -f *.xpm *.xbm *.jpg gimp/pluginrc
+
+clean:
+	rm -f buttons webpix	
+
+install: webpix
+	cp -pf $(WEBPIX_TARGETS) ../html
+##
+## Batch mode is a bit broken on The Gimp at the moment (v 1.0)
+## For script fu, at least, it seems tricky to pass arguments to
+## scripts.
+## With '1' as first argument to indicate "non-interactive", things
+## don't work.  With '0', we get popup menus and args are ignored!
+
+# NB: .xbm used as target, but also generates .xpm's.
+#%.xbm: %.xcf
+#	$(GIMP) '(script-fu-proofgeneral-make-buttons "$(CWD)/$*")' '(gimp-quit 0)'
+
+#%.jpg: %.xcf
+#	$(GIMP) '(script-fu-proofgeneral-save-jpg 0 "$(CWD)/$*")' '(gimp-quit 0)'
+#	cp -pf $*.jpg ../html
+
-- 
cgit v1.2.3