From 7a89e8b6ca8594a2dffb93fab352317aac1c9753 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Dominik=20Madar=C3=A1sz?= <zaklaus@outlook.com>
Date: Fri, 15 Sep 2023 10:55:29 +0200
Subject: [PATCH] delete info.obj on `make docs`

---
 MAKE.bat | 1 +
 1 file changed, 1 insertion(+)

diff --git a/MAKE.bat b/MAKE.bat
index bfb27fc..b138dd9 100644
--- 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
 )