diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-23 17:46:53 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-23 17:46:53 +0000 |
| commit | 53b9a879b0b730b2de2973871b7fc3037963f75f (patch) | |
| tree | 4c41f1a4b7d6ac0a6109e5cca2983f1882bbb8b7 /doc/ProofGeneral.texi | |
| parent | 0adc853f68174636e54f3f77f042858e95acadab (diff) | |
Fix image embedding in html
Diffstat (limited to 'doc/ProofGeneral.texi')
| -rw-r--r-- | doc/ProofGeneral.texi | 6 |
1 files 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 -<IMG SRC="ProofGeneral.jpg" ALT="[ Proof General logo ]" > -@end ifhtml +@html +<img src="ProofGeneral.jpg" alt="[ 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 |