diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-07 15:45:51 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-07 15:45:51 +0000 |
| commit | 8826dc21b35ac75bdf4c17c8c9a334d4072f4cbd (patch) | |
| tree | d386c8698abc90523a2fb985cf5d7d09115ef2ae /images | |
| parent | 76f466303e581abdb07cffd1d160689019b3558d (diff) | |
Makefile for generating various image formats.
Diffstat (limited to 'images')
| -rw-r--r-- | images/Makefile | 75 |
1 files changed, 75 insertions, 0 deletions
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 + |