From d046d4767fa0a05d87b56268e6da4fd7cbd5c732 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Dominik=20Madar=C3=A1sz?= Date: Sun, 19 Nov 2023 17:10:42 +0100 Subject: [PATCH] small docs update --- MAKE.bat | 1 + tools/cook.exe | Bin 5874688 -> 5874688 bytes tools/docs/docs.css | 3 +++ 3 files changed, 4 insertions(+) diff --git a/MAKE.bat b/MAKE.bat index 14b7cc5..3de7506 100644 --- a/MAKE.bat +++ b/MAKE.bat @@ -11,6 +11,7 @@ if "%1"=="help" ( echo %0 [help] ; show this screen echo %0 [docs] ; generate tools/docs/docs.html file echo %0 [cook] ; cook .zipfiles with tools/cook.ini cookbook + echo %0 [build_cook] ; build cook tool in release mode echo %0 [sync] ; sync repo to latest echo %0 [fwk_prep] ; prepare files for fwk PR echo %0 [fwk] ; update fwk-mirror fork diff --git a/tools/cook.exe b/tools/cook.exe index 666f2bd377d85858aba43f37028d36c573fe9357..6a03914bc0c92dc0f156027a02d86813eab17ace 100644 GIT binary patch delta 384 zcmWm8wN*o50D#f+9t866py9_MxVyW%+X{?8m2)VvK?mvq1TMiDgz;WsP+<*kp@scGzW)eGWL}h+|GT g<&1MKxa5j!Zn))+dmeb?iDzDT<*igq-ao$o0ax36z5oCK delta 384 zcmWm8$58?S06@{%Rg^VnaYaQ8m~+mGiaEy?EWr~q9_WCBRd}NXE3pnAhj;pyU;OO-yzt6fr5wF~eE$Pi-+aCR diff --git a/tools/docs/docs.css b/tools/docs/docs.css index 6e0502d..2f908ff 100644 --- a/tools/docs/docs.css +++ b/tools/docs/docs.css @@ -599,6 +599,9 @@ details > summary::-webkit-details-marker { + + +