# HG changeset patch
# User Franz Glasner <fzglas.hg@dom66.de>
# Date 1663490477 -7200
# Node ID e6ccee6a7144d8ced99b2b71473354238580ecde
# Parent  c9f14ccd581edc94c3874d2a3516a800c40d0e78
Also build the HTML documentation.

This is currently just for checking proper generation.

diff -r c9f14ccd581e -r e6ccee6a7144 Makefile
--- 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: