commit | 362d2d0433f47100e19067f837af18a23f57f349 | [log] [tgz] |
---|---|---|
author | Harald Welte <laforge@osmocom.org> | Wed Feb 09 21:01:00 2022 +0100 |
committer | Harald Welte <laforge@osmocom.org> | Wed Feb 09 21:02:38 2022 +0100 |
tree | 391e1f2ce59ef13a9a4816494bf5ad062411e9e3 | |
parent | 5981aa5c7f5fd4443259f8e1332c57213cf1fdb6 [diff] [blame] |
publish also the HTML manual for pySim Change-Id: I124d59626f40538da30f729beca0e40bf6b2b915 Closes: OS#5270
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