diff options
Diffstat (limited to 'example-fraucheky/configure')
| -rwxr-xr-x | example-fraucheky/configure | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/example-fraucheky/configure b/example-fraucheky/configure index 5014a78..7bc023c 100755 --- a/example-fraucheky/configure +++ b/example-fraucheky/configure @@ -9,6 +9,7 @@ vidpid=none verbose=no debug=no with_fraucheky=yes +with_index=./INDEX.HTM if test -d ../.git; then REVISION=`git describe --dirty="-modified"` @@ -34,8 +35,6 @@ for option; do verbose=yes ;; --vidpid=*) vidpid=$optarg ;; - --with-index=*) - with_index=$optarg ;; *) echo "Unrecognized option \`$option'" >&2 echo "Try \`$0 --help' for more information." >&2 |