update: ps manual version is no longer generated

This commit is contained in:
Sébastien Loriot 2011-05-16 08:44:04 +00:00
parent d64e8a9371
commit 7edd0ebefa
1 changed files with 3 additions and 5 deletions

View File

@ -268,7 +268,7 @@ the basic library can have the following documentation.
| |
|--- *.tex |--- *.tex
| |
+--- *.((ps)|(eps)|(pdf)|(gif)|(jpg)|(png)) +--- *.((pdf)|(gif)|(jpg)|(png))
doc_tex/Optimisation_ref/ doc_tex/Optimisation_ref/
|--- main.tex |--- main.tex
@ -277,7 +277,7 @@ the basic library can have the following documentation.
| |
|--- *.tex |--- *.tex
| |
+--- *.((ps)|(eps)|(pdf)|(gif)|(jpg)|(png)) +--- *.((pdf)|(gif)|(jpg)|(png))
\end{verbatim} \end{verbatim}
@ -300,9 +300,7 @@ the basic library can have the following documentation.
contained in this package in a systematic way. contained in this package in a systematic way.
\item[{\tt *.tex}] -- the source files for the Users' and Reference \item[{\tt *.tex}] -- the source files for the Users' and Reference
Manual that are input by {\tt main.tex} Manual that are input by {\tt main.tex}
\item[{\tt *.((ps)|(eps))}] -- the PostScript pictures included in \item[{\tt *.pdf}] -- the PDF pictures included in
the PostScript documentation.
\item[{\tt *.pdf}] -- the PDF pictures included in
the PDF documentation. the PDF documentation.
\item[{\tt *.((gif)|(jpg)|(png))}] -- the raster images included in \item[{\tt *.((gif)|(jpg)|(png))}] -- the raster images included in
the HTML documentation. the HTML documentation.