From 45779d74209a728cfd67628eaa53b42fee129f65 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Mon, 17 Aug 2015 15:58:18 +0200
Subject: Remove generatable documentation files from repository. (Fix bug
 #4315)

---
 doc/faq/FAQ.tex | 8 --------
 1 file changed, 8 deletions(-)

(limited to 'doc/faq/FAQ.tex')

diff --git a/doc/faq/FAQ.tex b/doc/faq/FAQ.tex
index c8dd220baf..fbb866e875 100644
--- a/doc/faq/FAQ.tex
+++ b/doc/faq/FAQ.tex
@@ -509,22 +509,14 @@ library. (Statements in boldface are the most ``interesting'' ones for
 Coq.) The justification of their validity relies on the interpretability
 in set theory.
 
-% fig2dev -m 2 -L png axioms.fig axioms.png
-% fig2dev -L pdftex axioms.fig axioms.pdf
-% fig2dev -L pdftex_t -p axioms.pdf axioms.fig axioms.pdf_t
-% fig2dev -L pstex axioms.fig axioms.eps
-% fig2dev -L pstex_t -p axioms.eps axioms.fig axioms.eps_t
-
 \begin{figure}[htbp]
 %HEVEA\imgsrc{axioms.png}
 %BEGIN LATEX
 \begin{center}
 \ifpdf   % si on est en pdflatex
 \scalebox{0.65}{\input{axioms.pdf_t}}
-%\includegraphics[width=1.0\textwidth]{axioms.png}
 \else
 \scalebox{0.65}{\input{axioms.eps_t}}
-%\includegraphics[width=1.0\textwidth]{axioms.eps}
 \fi
 \end{center}
 %END LATEX
-- 
cgit v1.2.3