diff options
author | Fumitoshi UKAI <ukai@debian.or.jp> | 2001-11-22 03:22:12 +0000 |
---|---|---|
committer | Fumitoshi UKAI <ukai@debian.or.jp> | 2001-11-22 03:22:12 +0000 |
commit | 2807a2d5e075a7330abbf18441753ad00453e158 (patch) | |
tree | ac50c21ee87176ea6d38823a08d7b4a103567d45 /configure | |
parent | [w3m-dev 02493] (diff) | |
download | w3m-2807a2d5e075a7330abbf18441753ad00453e158.tar.gz w3m-2807a2d5e075a7330abbf18441753ad00453e158.zip |
[w3m-dev 02494]
From: Fumitoshi UKAI <ukai@debian.or.jp>
Diffstat (limited to '')
-rwxr-xr-x | configure | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -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 |