-# Check whether --enable-dumpdates-patch or --disable-dumpdates-patch was given.
-if test "${enable_dumpdates_patch+set}" = set; then
- enableval="$enable_dumpdates_patch"
- if test "$enableval" = "yes"
-then
- if test "$PATCH" = ":"
- then
- { echo "configure: error: The patch program was not found on your system" 1>&2; exit 1; }
- fi
- (cd $srcdir; $PATCH -p < debian-patch)
-fi
-
-fi
-
-