From 08d6ae7520255ab846ed3ea81b48c2ae855f3ddb Mon Sep 17 00:00:00 2001
From: Pierre Letouzey
Date: Mon, 8 Dec 2014 17:38:05 +0100
Subject: refman: for xhtml validity, add 'alt' attributes to img

---
 doc/refman/RefMan-ide.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'doc')

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}
-- 
cgit v1.2.3