Update Makefile

appeler · Oct 25, 2023 · 522770a · 522770a
1 parent 66f2325
commit 522770a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/docs/Makefile b/docs/Makefile
@@ -16,5 +16,7 @@ help:
 
 # Catch-all target: route all unknown targets to Sphinx using the new
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
+
 %: Makefile
+	@for dir in source/man source/*-man; do $(MAKE) -C $$dir; done
 	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)