diff Makefile @ 289:e6ccee6a7144

Also build the HTML documentation. This is currently just for checking proper generation.
author Franz Glasner <fzglas.hg@dom66.de>
date Sun, 18 Sep 2022 10:41:17 +0200
parents 106cd5d9da7e
children 7508d9a9cf49
line wrap: on
line diff
--- a/Makefile	Sun Sep 18 10:37:26 2022 +0200
+++ b/Makefile	Sun Sep 18 10:41:17 2022 +0200
@@ -65,6 +65,7 @@
 .if ${PORT_OPTIONS:MDOCS}
 do-build:
 	(cd ${WRKSRC}/docs && sphinx-build -M man . _build)
+	(cd ${WRKSRC}/docs && sphinx-build -M html . _build)
 .endif
 
 do-install: