contrib/jenkins.sh: Fix PUBLISH

There is no $base in this script, and the current form renders:

make: *** /docs: No such file or directory.  Stop.
Build step 'Execute shell' marked build as failure

Change-Id: Ifcf27f7497daeb285dfb364bff20d0c861c77dcb
Related: OS#5271
This commit is contained in:
Harald Welte 2022-02-09 18:02:31 +01:00
parent 6b08fc3b49
commit 5981aa5c7f
1 changed files with 1 additions and 1 deletions

View File

@ -48,7 +48,7 @@ pip3 install -e 'git+https://github.com/osmocom/sphinx-argparse@master#egg=sphin
(cd docs && make html latexpdf)
if [ "$WITH_MANUALS" = "1" ] && [ "$PUBLISH" = "1" ]; then
make -C "$base/docs" publish
make -C "docs" publish
fi
# run the test with physical cards