diff options
| author | W. Trevor King <wking@tremily.us> | 2012-10-26 12:52:29 -0400 |
|---|---|---|
| committer | W. Trevor King <wking@tremily.us> | 2012-10-26 12:52:29 -0400 |
| commit | 0e0f995a5e7c6f93e8f0e0cf70fb559e482ba19f (patch) | |
| tree | 8586269b5c28e13b258d896514ada5d0f5ff9200 /doc | |
| parent | 00bc18b873f612a6fb22788f713e9cb2423d79c8 (diff) | |
| download | bugseverywhere-0e0f995a5e7c6f93e8f0e0cf70fb559e482ba19f.tar.gz | |
doc/install: fix paragraph indentation in man page installation discussion
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 |