diff options
| author | Fumitoshi UKAI <ukai@debian.or.jp> | 2001-12-04 18:57:51 +0000 |
|---|---|---|
| committer | Fumitoshi UKAI <ukai@debian.or.jp> | 2001-12-04 18:57:51 +0000 |
| commit | 1ed709ee801cc7ae24d5419a6c1f1eed2e1ddb9a (patch) | |
| tree | 8f38880ddf669f6060da1267589684425c52879d /configure | |
| parent | [w3m-dev 02617] (diff) | |
| download | w3m-1ed709ee801cc7ae24d5419a6c1f1eed2e1ddb9a.tar.gz w3m-1ed709ee801cc7ae24d5419a6c1f1eed2e1ddb9a.zip | |
[w3m-dev 02618]
From: Fumitoshi UKAI <ukai@debian.or.jp>
Diffstat (limited to '')
| -rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,5 +1,5 @@ #!/bin/sh -# $Id: configure,v 1.31 2001/12/02 14:27:11 ukai Exp $ +# $Id: configure,v 1.32 2001/12/04 18:57:51 ukai Exp $ # Configuration. # @@ -110,7 +110,7 @@ do gc_libdir=`expr "$1" : "--gc-libdir=\(.*\)"` ;; --mimetypes=*) - mime_types=`expr "$1" : "--mimetypes=\(.*\)"` + mimetypes=`expr "$1" : "--mimetypes=\(.*\)"` ;; -help|--help) |