w3m

Unnamed repository; edit this file to name it for gitweb.
git clone https://logand.com/git/w3m.git/
Log | Files | Refs | README

commit 918fd4b2f08eeb9c8512c265e7ae2f9454b951b7
parent 5a6502d1c961d4037cf9acd5679acb37c1deea41
Author: ukai <ukai>
Date:   Thu, 17 Jan 2002 09:24:34 +0000

[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:
MChangeLog | 6++++++
Mconfigure | 4+++-
2 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog @@ -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 diff --git a/configure b/configure @@ -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"