[CI] Don't hide docs generation log (#9204)

With reference to https://github.com/koreader/koreader/pull/9193#issuecomment-1153128485
reviewable/pr9207/r1
Frans de Jonge 2 years ago committed by GitHub
parent 2213e6410f
commit 50b8b60400
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -24,7 +24,7 @@ git clone git@github.com:koreader/doc.git koreader_doc
# push doc update
pushd doc && {
luajit "$(command -v ldoc)" . 2>/dev/null
luajit "$(command -v ldoc)" .
if [ ! -d html ]; then
echo "Failed to generate documents..."
exit 1

Loading…
Cancel
Save