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 /src/ui.cc | |
| 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 'src/ui.cc')
0 files changed, 0 insertions, 0 deletions