Dothem: install html docs as well

diff --git a/Dothem b/Dothem
index 47c9fb9787549b3076ee25658119024a55f379e3..2f6d027fad5ffa3fe8044eac3ff6cf13cb8207a7 100755 (executable)
--- a/Dothem
+++ b/Dothem
@@ -155,7 +155,7 @@ do
                Meta/Make $M $test -- $jobs $dotest &&
                {
                        test -n "$nodoc" ||
-                       Meta/Make $M -- doc install-doc
+                       Meta/Make $M -- doc install-man install-html
                } &&
 
                {