X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=INSTALL;h=893d091723a9d400121189a2307662814f6a3c77;hp=f5d6635dd4e29db599b2b49530736f33879f4c67;hb=621735e24b361b9c0c8c9c938ebd2c87c117bd4e;hpb=8c299ae3bbc455744ccb88adbf345d4e41b86707

diff --git a/INSTALL b/INSTALL
index f5d6635d..893d0917 100644
--- a/INSTALL
+++ b/INSTALL
@@ -28,6 +28,14 @@ Known not to work with:
   - GCC 2.96 or earlier because proper exception and standard library support
     is missing there.
 
+To build the GiNaC tutorial and reference manual in HTML, DVI, PostScript,
+or PDF formats, use one of
+
+ $ make html
+ $ make dvi
+ $ make ps
+ $ make pdf
+
 The "configure" script can be given a number of options to enable and
 disable various features. For a complete list, type:
 
@@ -40,6 +48,7 @@ A few of the more important ones:
  --exec-prefix=EPREFIX  install architecture-dependent files in EPREFIX
                         [defaults to the value given to --prefix]
  --disable-shared       suppress the creation of a shared version of libginac
+ --disable-static       suppress the creation of a static version of libginac
 
 More detailed installation instructions can be found in the documentation,
 in the doc/ directory.