diff options
Diffstat (limited to 'INSTALL')
-rw-r--r-- | INSTALL | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -108,7 +108,8 @@ install recent versions of some utilities such as texinfo. * 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. + type "makeinfo --html --no-split mpfr.texi" from the doc directory + instead. Building MPFR with internal GMP header files |