diff --git a/Dothem b/Dothem index 47c9fb9787..2f6d027fad 100755 --- 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 } && {