migrazione verso gitea

2026-03-31 19:15:33 +02:00
parent 8806d598eb
commit f6a5b1b29f
118 changed files with 17197 additions and 459 deletions
--- a/docs/make.bat
+++ b/docs/make.bat
@@ -0,0 +1,18 @@
+@ECHO OFF
+
+set SPHINXBUILD=sphinx-build
+set SOURCEDIR=.
+set BUILDDIR=_build
+
+if "%1" == "" goto help
+
+%SPHINXBUILD% -b %1 %SOURCEDIR% %BUILDDIR%/%1
+GOTO end
+
+:help
+ECHO.Usage: make.bat ^<builder^>
+ECHO.
+ECHO.Example:
+ECHO.  make.bat html
+
+:end