diff --git a/.ci/after_success_docs_translation.sh b/.ci/after_success_docs_translation.sh index b84e05383..b61f45060 100755 --- a/.ci/after_success_docs_translation.sh +++ b/.ci/after_success_docs_translation.sh @@ -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