[docs] Make sure that docs/build dir exists

MaRDI4NFDI · Feb 17, 2025 · 17ef737 · 17ef737
1 parent 4e15d4a
commit 17ef737
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -35,9 +35,13 @@ clean :
 	$(RM) -r build build.debug build.release
 
 .PHONY : docs
-docs :
+docs : | mk-docs-build-dir
 	cd docs && doxygen && make html
 
 .PHONY : docs-from-scratch
-docs-from-scratch:
+docs-from-scratch: | mk-docs-build-dir
 	cd docs && rm -rf build && doxygen && make html
+
+.PHONY : mk-docs-build-dir
+mk-docs-build-dir:
+	mkdir -p docs/build