From 4488558a5fe929b62fa9c78055589b9193600b81 Mon Sep 17 00:00:00 2001 From: jsteemann Date: Mon, 27 Aug 2018 10:27:56 +0200 Subject: [PATCH] fix documentation building --- Documentation/Books/build.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Documentation/Books/build.sh b/Documentation/Books/build.sh index ea3c97dfb5..5982f9d12f 100755 --- a/Documentation/Books/build.sh +++ b/Documentation/Books/build.sh @@ -317,8 +317,8 @@ function check-dangling-anchors() fail=0 rm -f /tmp/failduplicatetags.txt find /tmp/tags -type f | while IFS= read -r htmlf; do - sort "${htmlf}" |grep -v ^$ > /tmp/sorted.txt - sort -u "${htmlf}" |grep -v ^$ > /tmp/sortedunique.txt + (sort "${htmlf}" |grep -v ^$ > /tmp/sorted.txt) || true + (sort -u "${htmlf}" |grep -v ^$ > /tmp/sortedunique.txt) || true if test "$(comm -3 /tmp/sorted.txt /tmp/sortedunique.txt|wc -l)" -ne 0; then echo "${ERR_COLOR}" echo "in ${htmlf}: " @@ -713,9 +713,9 @@ function build-books() done check-docublocks "" - check-dangling-anchors "" echo "${STD_COLOR}##### Generating redirect index.html${RESET}"; \ echo '' > books/index.html + check-dangling-anchors "" } function build-dist-books()