diff options
| -rw-r--r-- | ChangeLog | 8 | ||||
| -rwxr-xr-x | configure | 6 |
2 files changed, 11 insertions, 3 deletions
@@ -1,3 +1,9 @@ +2002-01-17 Hironori Sakamoto <hsaka@mth.biglobe.ne.jp> + + * [w3m-dev 02864] def_migemo_command + * configure (def_migemo_command): default is + migemo -t egrep /usr/local/share/migemo/migemo-dict + 2002-01-17 Fumitoshi UKAI <ukai@debian.or.jp> * [w3m-dev 02863] discard migemo error message @@ -2079,4 +2085,4 @@ * release-0-2-1 * import w3m-0.2.1 -$Id: ChangeLog,v 1.235 2002/01/16 19:18:21 ukai Exp $ +$Id: ChangeLog,v 1.236 2002/01/17 09:24:34 ukai Exp $ @@ -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" |