delete info.obj on `make docs`

2023-09-15 10:55:29 +02:00 · 2023-09-15 10:55:29 +02:00 · 7a89e8b6ca
parent 08b9fd0457
commit 7a89e8b6ca
1 changed files with 1 additions and 0 deletions
--- a/MAKE.bat
+++ b/MAKE.bat
@ -102,6 +102,7 @@ if "%1"=="docs" (
    docs engine\v4k.h --excluded=3rd_glad.h,v4k.h,v4k_compat.h, > v4k.html
    move /y v4k.html engine\
    del changelog.txt
+    del info.obj

    exit /b
 )