#! /bin/sh -e # DP: Mention the FAQ on the documentation index page. dir= if [ $# -eq 3 -a "$2" = '-d' ]; then pdir="-d $3" dir="$3/" elif [ $# -ne 1 ]; then echo >&2 "usage: `basename $0`: -patch|-unpatch [-d ]" exit 1 fi case "$1" in -patch) patch $pdir -f --no-backup-if-mismatch -p0 < $0 ;; -unpatch) patch $pdir -f --no-backup-if-mismatch -R -p0 < $0 ;; *) echo >&2 "usage: `basename $0`: -patch|-unpatch [-d ]" exit 1 esac exit 0 --- Doc/html/index.html.in~ 2002-04-01 18:11:27.000000000 +0200 +++ Doc/html/index.html.in 2003-04-05 13:33:35.000000000 +0200 @@ -123,6 +123,24 @@ + + +   + + + +   + + +