diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 0fd2473..37d1d4d 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -48,7 +48,7 @@
 (cd docs && make html latexpdf)
 
 if [ "$WITH_MANUALS" = "1" ] && [ "$PUBLISH" = "1" ]; then
-	make -C "docs" publish
+	make -C "docs" publish publish-html
 fi
 
 # run the test with physical cards