[main] - website update

limakzi · Aug 28, 2024 · 12c3c46 · 12c3c46
1 parent 9ae5c85
commit 12c3c46
Show file tree

Hide file tree

Showing 40 changed files with 5,806 additions and 4 deletions.
diff --git a/doc/.gitignore b/doc/.gitignore
diff --git a/doc/_AutoDocMainFile.xml b/doc/_AutoDocMainFile.xml
@@ -0,0 +1,4 @@
+<?xml version="1.0" encoding="UTF-8"?>
+
+<!-- This is an automatically generated file. -->
+<#Include SYSTEM "_Chapter_smallantimagmas_automatic_generated_documentation.xml">