diff options
| author |  Pierre Letouzey <pierre.letouzey@inria.fr> | 2014-12-08 17:38:05 +0100 |
|---|---|---|
| committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2014-12-09 12:14:40 +0100 |
| commit | 08d6ae7520255ab846ed3ea81b48c2ae855f3ddb (patch) | |
| tree | 332f8b95d26c77d83f2b296df09709fef7dce2c6 /doc/refman | |
| parent | 1a909f17deac1ca929eb429cba67b18869437374 (diff) | |
refman: for xhtml validity, add 'alt' attributes to img
Diffstat (limited to 'doc/refman')
| -rw-r--r-- | doc/refman/RefMan-ide.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/refman/RefMan-ide.tex b/doc/refman/RefMan-ide.tex index c036f031f..c8d05013b 100644 --- a/doc/refman/RefMan-ide.tex +++ b/doc/refman/RefMan-ide.tex @@ -17,7 +17,7 @@ obviously no meaning for \CoqIDE{} being ignored. Additionally, \verb|coqide| ac \begin{figure}[t] \begin{center} -%HEVEA\imgsrc{coqide.png} +%HEVEA\imgsrc[alt="coqide main screen"]{coqide.png} %BEGIN LATEX \ifpdf % si on est en pdflatex \includegraphics[width=1.0\textwidth]{coqide.png} @@ -132,7 +132,7 @@ arguments. \begin{figure}[t] \begin{center} -%HEVEA\imgsrc{coqide-queries.png} +%HEVEA\imgsrc[alt="coqide query window"]{coqide-queries.png} %BEGIN LATEX \ifpdf % si on est en pdflatex \includegraphics[width=1.0\textwidth]{coqide-queries.png} |