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 /configure | |
| 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 'configure')
| -rwxr-xr-x | configure | 21 |
1 files changed, 19 insertions, 2 deletions
@@ -1,5 +1,5 @@ #!/bin/sh -# $Id: configure,v 1.65 2002/03/14 16:12:06 ukai Exp $ +# $Id: configure,v 1.66 2002/03/19 16:27:20 ukai Exp $ # Configuration. # @@ -64,6 +64,9 @@ do -helpdir=*|--helpdir=*) helpdir=`expr "$1" : "-*helpdir=\(.*\)"` ;; + -mandir=*|--mandir=*) + mandir=`expr "$1" : "-*mandir=\(.*\)"` + ;; -sysconfdir=*|--sysconfdir=*) sysconfdir=`expr "$1" : "-*sysconfdir=\(.*\)"` ;; @@ -122,6 +125,7 @@ do echo "-bindir=DIR user executable in DIR (default: PREFIX/bin)" echo "-libdir=DIR program executables in DIR (default: PREFIX/lib/w3m)" echo "-helpdir=DIR help file in DIR (default: PREFIX/share/w3m)" + echo "-mandir=DIR manual in DIR (default: PREFIX/man)" echo "-sysconfdir=DIR w3mconfig in DIR [PREFIX/etc/w3m]" echo "-lang=(en|ja) Specify default language" echo "-model=(baby|little|mouse|cookie|monster|custom)" @@ -541,6 +545,16 @@ readdir "$d_helpdir" helpdir=$_dir echo "helpdir='$helpdir'" >> config.param +d_mandir=$mandir +if [ -z "$d_mandir" ]; then + d_mandir="$topdir/man" +fi +echo "Which directory do you want to put the manfile?" +Echo "(default: $d_mandir) " +readdir "$d_mandir" +mandir=$_dir +echo "mandir='$mandir'" >> config.param + d_sysconfdir=$sysconfdir if [ -z "$d_sysconfdir" ]; then d_sysconfdir="$topdir/etc/w3m" @@ -2072,8 +2086,11 @@ $def_matrix #ifdef makefile_parameter BIN_DIR = $bindir -HELP_DIR = $helpdir LIB_DIR = $libdir +HELP_DIR = $helpdir +MAN_DIR = $mandir +MAN1_DIR = \$(MAN_DIR)/man1 +MAN1_JA_DIR = \$(MAN_DIR)/ja/man1 ETC_DIR = $sysconfdir RC_DIR = ~/.w3m HELP_FILE = $helpfile |