From 53b9a879b0b730b2de2973871b7fc3037963f75f Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 23 Aug 2010 17:46:53 +0000 Subject: Fix image embedding in html --- doc/ProofGeneral.texi | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 45c52033..b985c2f2 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -395,9 +395,9 @@ Thanks to all of you (and apologies to anyone missed). @c would like the logo on the title page really but @c it doesn't seem to work there for html. -@ifhtml -[ Proof General logo ] -@end ifhtml +@html +[ Proof General logo ] +@end html @dfn{Proof General} is a generic Emacs interface for interactive proof assistants,@footnote{A @dfn{proof assistant} is a computerized helper for -- cgit v1.2.3