From 50b8b604002f732cfac08d8774b52fb863e582a8 Mon Sep 17 00:00:00 2001 From: Frans de Jonge Date: Sun, 12 Jun 2022 13:37:07 +0200 Subject: [PATCH] [CI] Don't hide docs generation log (#9204) With reference to https://github.com/koreader/koreader/pull/9193#issuecomment-1153128485 --- .ci/after_success_docs_translation.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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