diff options
| author | Fumitoshi UKAI <ukai@debian.or.jp> | 2002-01-17 09:24:34 +0000 |
|---|---|---|
| committer | Fumitoshi UKAI <ukai@debian.or.jp> | 2002-01-17 09:24:34 +0000 |
| commit | ab06da432f0437359558dfcf7e5c7d07ef7cf426 (patch) | |
| tree | 974c880fd5eb645c72fe520d189f46862e709088 /configure | |
| parent | [w3m-dev 02863] discard migemo error message (diff) | |
| download | w3m-ab06da432f0437359558dfcf7e5c7d07ef7cf426.tar.gz w3m-ab06da432f0437359558dfcf7e5c7d07ef7cf426.zip | |
[w3m-dev 02864] def_migemo_command
* configure (def_migemo_command): default is
migemo -t egrep /usr/local/share/migemo/migemo-dict
From: Hironori Sakamoto <hsaka@mth.biglobe.ne.jp>
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -1,5 +1,5 @@ #!/bin/sh -# $Id: configure,v 1.52 2002/01/16 17:22:49 ukai Exp $ +# $Id: configure,v 1.53 2002/01/17 09:24:34 ukai Exp $ # Configuration. # @@ -698,6 +698,8 @@ else fi ask_param "Use Migemo (Roma-ji search; Please see http://www.nmn.jp/~hidai/software/w3m/)" use_migemo n +def_migemo_command=${def_migemo_command-migemo -t egrep /usr/local/share/migemo/migemo-dict} +echo "def_migemo_command='$def_migemo_command'" >> config.param # protocols? ask_param "External URI loader support" use_external_uri_loader y @@ -2075,7 +2077,7 @@ $def_use_help_cgi #define DEF_AUDIO_PLAYER "$def_audio_player" /* for USE_MIGEMO */ -#define DEF_MIGEMO_COMMAND "migemo -t egrep /usr/share/migemo/migemo-dict" +#define DEF_MIGEMO_COMMAND "$def_migemo_command" #define LIB_DIR "$libdir" #define HELP_DIR "$helpdir" |