diff --git a/.jenkins.sh b/.jenkins.sh index 552f336e647547a3d9b24e4bf3a26b124dbcdd92..a0770f66f0a936b9f624d5191b67143e2b31f980 100644 --- a/.jenkins.sh +++ b/.jenkins.sh @@ -14,6 +14,7 @@ IMG="$IMG_NAME:$VERSION" docker build --tag "$IMG" . docker run "$IMG" +echo "Building HTML tree" docker run -v"src/yang:/yang" mjethanandani/pyang "/bin/sh" -c "pyang -f jstree /yang/*" > "etsi-nfv.html" exit $?