diff options
| author | Johannes Hofmann <Johannes.Hofmann@gmx.de> | 2013-03-06 23:16:00 +0100 |
|---|---|---|
| committer | Johannes Hofmann <Johannes.Hofmann@gmx.de> | 2013-03-06 23:16:00 +0100 |
| commit | bf8c14fb9204f7ba625819e6a056a00c108bb945 (patch) | |
| tree | 60cd2c5db1fcc7a531ce41c56b5907d76375a736 /doc/Makefile.am | |
| parent | 7eb22421916024f6ebee85473747ebfff6283438 (diff) | |
replace /usr/local with actual prefix in man page
As suggested in [1] /usr/local in the dillo man page
is now replaced by the actual prefix.
with-help-from: Sebastian Geerken <sgeerken@dillo.org>
[1] http://www.schweikhardt.net/man_page_howto.html
Diffstat (limited to 'doc/Makefile.am')
| -rw-r--r-- | doc/Makefile.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index d644393b..e3f3bad2 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -39,3 +39,6 @@ EXTRA_DIST = \ Selection.txt \ Dpid.txt \ README + +dillo.1: dillo.1.in Makefile + sed 's%/usr/local%${prefix}%g' < dillo.1.in > dillo.1 |