diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-09-13 14:22:02 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-09-13 14:22:02 +0000 |
commit | 1fa284b5bd94a0f84604f80b928dac668b880cc5 (patch) | |
tree | e8351d63c8cc331b1dbb9d9f576b660c5bc9cc71 /images/Makefile | |
parent | 33535c43eac23dd3981ada7a69250644d8be4a2e (diff) |
Added new buttons. (xbm files currently missing, some icons not made yet, confusingly copied old ones.
Diffstat (limited to 'images/Makefile')
-rw-r--r-- | images/Makefile | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/images/Makefile b/images/Makefile index 58b5eec9..14555338 100644 --- a/images/Makefile +++ b/images/Makefile @@ -19,7 +19,7 @@ ########################################################################### # Sources -BUTTONS=goal.xcf next.xcf qed.xcf restart.xcf retract.xcf undo.xcf use.xcf +BUTTONS=goal.xcf next.xcf qed.xcf restart.xcf retract.xcf undo.xcf use.xcf show.xcf context.xcf info.xcf command.xcf WEBPIX=isabelle_transparent.xcf ProofGeneral.xcf pg-text.xcf # Targets for html directory @@ -41,7 +41,7 @@ default: all images: all -all: buttons webpix +all: buttons backgroundize-xpm webpix dist: all install distclean @@ -53,6 +53,9 @@ dist: all install distclean backgroundize-xpm: $(BUTTONS) for f in *.xpm; do sed 's/#BCBCBC"/#BCBCBC s backgroundToolBarColor"/g' $$f > $$f.new; mv $$f.new $$f; done +# NB: gimp sometimes fails with this argument, in case it is built +# without support for one of the image formats, e.g. xbm. +# (Happens with gimp from Mandrake 6.0, for example) buttons: $(BUTTONS) $(GIMP) '(script-fu-proofgeneral-make-all-buttons 1)' '(gimp-quit 0)' $(MAKE) backgroundize-xpm |