From 2696964760941feb9203e69c3221a37ef82676b4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Jun 1999 17:42:23 +0000
Subject: Problems with @image commented.

---
 doc/ProofGeneral.texi | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index c1b4e924..527ab6d9 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -88,6 +88,7 @@ END-INFO-DIR-ENTRY
 @image{ProofGeneral}
 @c FIXME: for html, just do @image ProofGeneral, it
 @c gets confused by the braces.
+@c FIXME: doesn't work for PDF image at the moment.
 @end iftex
 @author D. Aspinall, H. Goguen, T. Kleymann and D. Sequeira
 @page
-- 
cgit v1.2.3