1 files changed, 23 insertions, 0 deletions
diff --git a/win32/configure.bat b/win32/configure.bat
index 33dd89307c..97a8945c41 100755
--- a/win32/configure.bat
+++ b/win32/configure.bat
@@ -14,6 +14,10 @@ if "%1" == "--srcdir" goto :srcdir
 if "%1" == "srcdir" goto :srcdir
 if "%1" == "--target" goto :target
 if "%1" == "target" goto :target
+if "%1" == "--enable-install-doc" goto :enable-rdoc
+if "%1" == "--disable-install-doc" goto :disable-rdoc
+if "%1" == "-h" goto :help
+if "%1" == "--help" goto :help
   echo>> ~tmp~.mak 	"%1" \
   shift
 goto :loop
@@ -27,6 +31,25 @@ goto :loop
   shift
   shift
 goto :loop
+:enable-rdoc
+  echo>> ~tmp~.mak 	"RDOCTARGET=install-doc" \
+  shift
+goto :loop
+:disable-rdoc
+  echo>> ~tmp~.mak 	"RDOCTARGET=install-nodoc" \
+  shift
+goto :loop
+:help
+  echo Configuration:
+  echo   --help                  display this help
+  echo   --srcdir=DIR            find the sources in DIR [configure dir or `..']
+  echo System types:
+  echo   --target=TARGET         configure for TARGET [i386-mswin32]
+  echo Optional Package:
+  echo   --enable-install-doc    install rdoc indexes during install
+  del ~tmp~.mak
+goto :exit
 :end
 echo>> ~tmp~.mak 	WIN32DIR=$(@D)
 nmake -alf ~tmp~.mak
+:exit