diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2008-01-30 12:29:13 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2008-01-30 12:29:13 +0000 |
commit | 190197ff3d17c2a475cbf78911cb3149f9be80d2 (patch) | |
tree | c4e3e7a595bdb5b0ad1adfc62cbbda5f15bd6a7a /INSTALL | |
parent | 30eac15370b42160fb82ce196f5ce3866f8ec3be (diff) | |
download | mpfr-190197ff3d17c2a475cbf78911cb3149f9be80d2.tar.gz |
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
Diffstat (limited to 'INSTALL')
-rw-r--r-- | INSTALL | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -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 |