From 00ba5d0fb4ee7754f095f73621c613cb816c1ce9 Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Wed, 22 May 2013 19:05:48 +0000 Subject: rename ProofGeneral.{jpg,gif} into ProofGeneral-image.{jpg,gif} to fix #472 --- generic/proof-splash.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'generic') diff --git a/generic/proof-splash.el b/generic/proof-splash.el index 5e6b95da..19516af4 100644 --- a/generic/proof-splash.el +++ b/generic/proof-splash.el @@ -49,7 +49,7 @@ Proof General." nil (proof-get-image "pg-text" t) nil - (proof-get-image "ProofGeneral") + (proof-get-image "ProofGeneral-image") nil "Welcome to" (concat proof-assistant " Proof General!") -- cgit v1.2.3