w3m

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

commit 0026ee129d1ba6e5467d6a5e78278fa14386a819
parent 3ca9ce3ab41e568a5b5e880192924573be74c567
Author: ukai <ukai>
Date:   Thu, 22 Nov 2001 03:22:12 +0000

[w3m-dev 02494]
From: Fumitoshi UKAI <ukai@debian.or.jp>

Diffstat:
MChangeLog | 7+++++++
Mconfigure | 6+++---
2 files changed, 10 insertions(+), 3 deletions(-)

diff --git a/ChangeLog b/ChangeLog @@ -1,3 +1,10 @@ +2001-11-22 Fumitoshi UKAI <ukai@debian.or.jp> + + * [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 <hsaka@mth.biglobe.ne.jp> * [w3m-dev 02493] diff --git a/configure b/configure @@ -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