diff options
Diffstat (limited to 'win32/configure.bat')
-rwxr-xr-x | win32/configure.bat | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/win32/configure.bat b/win32/configure.bat index da3878533e..001fd3ee9c 100755 --- a/win32/configure.bat +++ b/win32/configure.bat @@ -88,12 +88,12 @@ goto :loop shift
goto :loop
:enable-rdoc
- echo>> ~tmp~.mak "RDOCTARGET=install-doc" \
+ echo>> ~tmp~.mak "RDOCTARGET=rdoc" \
echo>>confargs.tmp %1 \
shift
goto :loop
:disable-rdoc
- echo>> ~tmp~.mak "RDOCTARGET=install-nodoc" \
+ echo>> ~tmp~.mak "RDOCTARGET=nodoc" \
echo>>confargs.tmp %1 \
shift
goto :loop
|