Document how to produce PDF and HTML versions of the manual.

git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@5242 280ebfd0-de03-0410-8827-d642c229c3f4

2 files changed, 19 insertions, 5 deletions

diff --git a/INSTALL b/INSTALL
index a0405ef10..e73a5871e 100644
--- a/INSTALL
+++ b/INSTALL
@@ -70,9 +70,15 @@ install recent versions of some utilities such as texinfo.
 
 * Type "make info" to produce the documentation in the info format.
 
+* Type "make pdf" to produce the documentation in the PDF format.
+
 * Type "make dvi" to produce the documentation in the DVI format.
 
-* Type "make mpfr.ps" to produce the documentation in the Postscript format.
+* Type "make ps" to produce the documentation in the Postscript format.
+
+* Type "make html" to produce the documentation in the HTML format
+  (in several pages); if you want only one output HTML file, then
+  type "makeinfo --html --no-split mpfr.texi" instead.
 
 
 Building MPFR with internal GMP header files
diff --git a/mpfr.texi b/mpfr.texi
index 52d891eba..9822efbc8 100644
--- a/mpfr.texi
+++ b/mpfr.texi
@@ -328,18 +328,26 @@ There are some other useful make targets:
 Create an info version of the manual, in @file{mpfr.info}.
 
 @item
+@samp{mpfr.pdf} or @samp{pdf}
+
+Create a PDF version of the manual, in @file{mpfr.pdf}.
+
+@item
 @samp{mpfr.dvi} or @samp{dvi}
 
 Create a DVI version of the manual, in @file{mpfr.dvi}.
 
 @item
-@samp{mpfr.ps}
+@samp{mpfr.ps} or @samp{ps}
 
 Create a Postscript version of the manual, in @file{mpfr.ps}.
 
-@c @item
-@c @samp{html}
-@c Create a HTML version of the manual, in @file{mpfr.html}.
+@item
+@samp{mpfr.html} or @samp{html}
+
+Create a HTML version of the manual, in several pages in the directory
+@file{mpfr.html}; if you want only one output HTML file, then type
+@samp{makeinfo --html --no-split mpfr.texi} instead.
 
 @item
 @samp{clean}