diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-08-29 14:19:40 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-29 14:19:40 +0000 |
commit | 88093c5e6aaefa62994e783a840717cd11856f99 (patch) | |
tree | 3bf6040707259c195ebd88dbea4bc0c5b8d8b1d6 /images/Makefile | |
parent | 1b5a27429b99858f028ee70c5becafebcc4348bf (diff) |
Remove isabelle logo
Diffstat (limited to 'images/Makefile')
-rw-r--r-- | images/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/images/Makefile b/images/Makefile index 5b00818f..28e9e7b4 100644 --- a/images/Makefile +++ b/images/Makefile @@ -20,7 +20,7 @@ # Sources BUTTONS=goal.xcf next.xcf qed.xcf restart.xcf retract.xcf undo.xcf use.xcf state.xcf context.xcf info.xcf command.xcf help.xcf find.xcf interrupt.xcf goto.xcf abort.xcf -WEBPIX=isabelle_transparent.xcf ProofGeneral.xcf pg-text.xcf +WEBPIX=ProofGeneral.xcf pg-text.xcf # Targets for html directory WEBPIX_ONLY= |