From 2807a2d5e075a7330abbf18441753ad00453e158 Mon Sep 17 00:00:00 2001 From: Fumitoshi UKAI Date: Thu, 22 Nov 2001 03:22:12 +0000 Subject: [w3m-dev 02494] From: Fumitoshi UKAI --- ChangeLog | 7 +++++++ configure | 8 ++++---- 2 files changed, 11 insertions(+), 4 deletions(-) diff --git a/ChangeLog b/ChangeLog index b94225b..cbc8c68 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,10 @@ +2001-11-22 Fumitoshi UKAI + + * [w3m-dev 02494] + * configure (MIME_TYPES): check if mimetypes is empty + * configure (label_topline): add missing = + * configure (nextpage_topline): ditto + 2001-11-22 Hironori Sakamoto * [w3m-dev 02493] diff --git a/configure b/configure index 5e26950..b97736b 100755 --- a/configure +++ b/configure @@ -1,5 +1,5 @@ #!/bin/sh -# $Id: configure,v 1.12 2001/11/21 19:24:35 ukai Exp $ +# $Id: configure,v 1.13 2001/11/22 03:22:12 ukai Exp $ # Configuration. # @@ -470,7 +470,7 @@ fi echo "Do you want to move cursor to top line when going to label?" yesno label_topline "$label_topline" n -echo "label_topline $label_topline" >> config.param +echo "label_topline=$label_topline" >> config.param if [ "$label_topline" = y ]; then def_label_topline='#define LABEL_TOPLINE' else @@ -479,7 +479,7 @@ fi echo "Do you want to move cursor to top line when moving to next page?" yesno nextpage_topline "$nextpage_topline" n -echo "nextpage_topline $nextpage_topline" >> config.param +echo "nextpage_topline=$nextpage_topline" >> config.param if [ "$nextpage_topline" = y ]; then def_nextpage_topline='#define NEXTPAGE_TOPLINE' else @@ -1071,7 +1071,7 @@ echo "Checking machine dependency." ###### mime.types MIME_TYPES="" -if [ -f $mimetypes ]; then +if [ -n "$mimetypes" ] && [ -f "$mimetypes" ]; then MIME_TYPES=$mimetypes else for d in /etc /usr/lib /usr/local/lib /usr/local/etc $prefix/lib /usr/local/etc/apache /usr/local/lib/mosaic /usr/local/mosaic /usr/local/netscape /usr/local/lib/netscape -- cgit v1.2.3