|
|
@@ -117,22 +117,17 @@ Disable the creation of the documentation. This should be done on a
|
|
|
machine which does not have the tools <c>doxygen</c> and <c>latex</c>
|
|
|
(plus the packages <c>latex-xcolor</c> and
|
|
|
<c>texlive-latex-extra</c>).
|
|
|
-To only disable the generation of the PDF documentation, one can use
|
|
|
-instead the option \ref disable-build-doc-pdf
|
|
|
-"--disable-build-doc-pdf".
|
|
|
</dd>
|
|
|
|
|
|
-<dt>--disable-build-doc-pdf</dt>
|
|
|
+<dt>--enable-build-doc-pdf</dt>
|
|
|
<dd>
|
|
|
-\anchor disable-build-doc-pdf
|
|
|
-\addindex __configure__--disable-build-doc-pdf
|
|
|
-Disable the creation of the PDF documentation. This should be done on a
|
|
|
-machine which does not have the tools <c>doxygen</c> and <c>latex</c>
|
|
|
+\anchor enable-build-doc-pdf
|
|
|
+\addindex __configure__--enable-build-doc-pdf
|
|
|
+By default, ontly the HTML documentation is generated. Use this option
|
|
|
+to also enable the generation of the PDF documentation. This should be
|
|
|
+done on a machine which does have the tools <c>doxygen</c> and <c>latex</c>
|
|
|
(plus the packages <c>latex-xcolor</c> and
|
|
|
<c>texlive-latex-extra</c>).
|
|
|
-Using this option instead of the \ref disable-build-doc
|
|
|
-"disable-build-doc" will allow to only produce the HTML format of the
|
|
|
-documentation.
|
|
|
</dd>
|
|
|
|
|
|
<dt>--disable-icc</dt>
|
Nathalie Furmento