diff options
| -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 c036f031f3..c8d05013b3 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} |