From 34af532898c24af95c8f9a78bada8a79d5b05d51 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Oct 1998 16:24:29 +0000
Subject: Added plain isabelle image

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

(limited to 'images/Makefile')

diff --git a/images/Makefile b/images/Makefile
index 4fa2b87d..62e5943a 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
-WEBPIX=ProofGeneral.xcf text_general.xcf text_proof.xcf
+WEBPIX=isabelle_transparent.xcf ProofGeneral.xcf text_general.xcf text_proof.xcf
 
 # Targets for html directory
 WEBPIX_ONLY=
-- 
cgit v1.2.3