From 88093c5e6aaefa62994e783a840717cd11856f99 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 29 Aug 2002 14:19:40 +0000
Subject: Remove isabelle logo

---
 images/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'images')

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