summaryrefslogtreecommitdiff
path: root/INSTALL
diff options
context:
space:
mode:
authorMatthew Johnson <mjj29@adonis.trinhall.cam.ac.uk>2006-11-14 16:32:52 +0000
committerMatthew Johnson <mjj29@adonis.trinhall.cam.ac.uk>2006-11-14 16:32:52 +0000
commit547073e01fc0e17b010aec9c0b087a8e23e4f497 (patch)
tree6907ed3cc9e962dbab7155b8462f7592f745ebd0 /INSTALL
parentd62f325b9cb77d2c2000d66c255908d2a57bc842 (diff)
split install-man and install-doc1.11
Diffstat (limited to 'INSTALL')
-rw-r--r--INSTALL2
1 files changed, 1 insertions, 1 deletions
diff --git a/INSTALL b/INSTALL
index 50bab41..d59f76f 100644
--- a/INSTALL
+++ b/INSTALL
@@ -31,7 +31,7 @@ directories can be achieved using the BINDIR etc variables. For more detail
read the Makefile.
Documentation for the bindings can be built with `make doc' and installed with
-`make install-doc', with the same provisos for installation paths.
+`make install-doc install-man', with the same provisos for installation paths.
Using the Bindings
------------------