use github actions instead (#605)

* Create actions
2026-07-11 05:44:39 -04:00 · 2024-04-13 02:54:59 +02:00
parent 2d3278d073
commit e2c19fd4bc
17 changed files with 227 additions and 19905 deletions
@@ -947,7 +947,7 @@ INPUT                  = docs/ \
                         src/ \
                         include/ \
                         courses/ \
-                         tools/doxygen_syms.md
+                         docs/doxygen_syms.md

 # This tag can be used to specify the character encoding of the source files
 # that doxygen parses. Internally doxygen uses the UTF-8 encoding. Doxygen uses