diff options
Diffstat (limited to 'Doc/make.bat')
| -rw-r--r-- | Doc/make.bat | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Doc/make.bat b/Doc/make.bat index d28dae7..077a1bc 100644 --- a/Doc/make.bat +++ b/Doc/make.bat @@ -115,12 +115,16 @@ goto end :build if not exist "%BUILDDIR%" mkdir "%BUILDDIR%" +rem We ought to move NEWS to %BUILDDIR%\NEWS and point +rem Sphinx at the right location. if exist ..\Misc\NEWS ( echo.Copying Misc\NEWS to build\NEWS + if not exist build mkdir build copy ..\Misc\NEWS build\NEWS > nul ) else if exist ..\Misc\NEWS.D ( if defined BLURB ( echo.Merging Misc/NEWS with %BLURB% + if not exist build mkdir build %BLURB% merge -f build\NEWS ) else ( echo.No Misc/NEWS file and Blurb is not available. |