doc: copy static directory into doxygen html directory to fix broken …

…links
DotBots · Nov 21, 2023 · 4121721 · 4121721
1 parent 62a783c
commit 4121721
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/doc/doxygen/Makefile b/doc/doxygen/Makefile
@@ -1,6 +1,8 @@
 .PHONY: all clean
 
 all:
+	@mkdir -p html/static
+	@cp -R ../../static/* html/static/.
 	@doxygen
 
 clean: