diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/install.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/install.txt b/doc/install.txt index 0ea30ee..0ff1db0 100644 --- a/doc/install.txt +++ b/doc/install.txt @@ -97,7 +97,7 @@ the man page (``doc/man/be.1``) if it exists, so:: $ make DOC= install *will* build (first ``make``) and install (second ``make``) the man - page. +page. Also note that there is no need to edit the ``Makefile`` to change any of its internal variables. You can `override them from the command |