make git now runs make prep

2023-08-14 19:43:07 +02:00 · 2023-08-14 19:43:07 +02:00 · 6f196a9fb6
parent 9fa2bf5e6f
commit 6f196a9fb6
1 changed files with 1 additions and 0 deletions
--- a/MAKE.bat
+++ b/MAKE.bat
@ -371,6 +371,7 @@ exit /b
 rem generate prior files to a git release
 if "%1"=="git" (
    rem call make.bat dll
+    call make.bat prep
    call make.bat docs
    call make.bat bind