Fix update-manifest.sh to run gen-other-html.sh
The need for this was discovered when doing commit
92525e2e26.
This commit is contained in:
1 parent
92525e2e26
commit
3f1158204a
1 file changed
+7
@@ -315,6 +315,13 @@ else
|
||||
fi
|
||||
fi
|
||||
|
||||
echo "$(basename "$0"): now will run: bin/gen-other-html.sh -v $CAP_D_FLAG"
|
||||
echo "NOTE: this can take a while." 1>&2
|
||||
if ! bin/gen-other-html.sh -v "$CAP_D_FLAG"; then
|
||||
echo "problem running bin/gen-other-html.sh, fix and try again." 1>&2
|
||||
exit 5
|
||||
fi
|
||||
|
||||
|
||||
read -r -n 1 -p "Press any key to run: $GIT diff: "
|
||||
echo 1>&2
|
||||
|
||||
Reference in new issue
Block a user