diff options
| author | Fumitoshi UKAI <ukai@debian.or.jp> | 2002-03-19 16:27:20 +0000 |
|---|---|---|
| committer | Fumitoshi UKAI <ukai@debian.or.jp> | 2002-03-19 16:27:20 +0000 |
| commit | 32388937884a92e30a378b1edba1a89d861621b0 (patch) | |
| tree | 28ce4188807d5d56c926efb2184d60a7d835b5ea /config.h.dist | |
| parent | func: COMMAND (diff) | |
| download | w3m-32388937884a92e30a378b1edba1a89d861621b0.tar.gz w3m-32388937884a92e30a378b1edba1a89d861621b0.zip | |
[w3m-dev 03137] Re: w3mman.1
* XMakefile (MAN1): added
(MAN1_JA): added
(install-core): install man
(install-scripts): pass MAN_DIR
(uninstall): uninstall man, pass MAN_DIR to subdirs
* config.h.dist (MAN_DIR): added
(MAN1_DIR): added
(MAN1_JA_DIR): added
* configure: -mandir
(config.h): add MAN_DIR, MAN1_DIR, MAN1_JA_DIR
* scripts/w3mman/Makefile (MAN1_DIR): added
From: Hironori Sakamoto <hsaka@mth.biglobe.ne.jp>
Diffstat (limited to '')
| -rw-r--r-- | config.h.dist | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/config.h.dist b/config.h.dist index 0e249ba..551bbf6 100644 --- a/config.h.dist +++ b/config.h.dist @@ -65,8 +65,11 @@ #ifdef makefile_parameter BIN_DIR = /usr/local/bin -HELP_DIR = /usr/local/lib/w3m LIB_DIR = /usr/local/lib/w3m +HELP_DIR = /usr/local/share/w3m +MAN_DIR = /usr/local/man +MAN1_DIR = $(MAN_DIR)/man1 +MAN1_JA_DIR = $(MAN_DIR)/ja/man1 ETC_DIR = /usr/local/etc/w3m RC_DIR = ~/.w3m HELP_FILE = w3mhelp-w3m_ja.html |