Better to fail early than to notice later by inspecting index pages.
Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx>
---
utilities/runlatex.sh | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/utilities/runlatex.sh b/utilities/runlatex.sh
index 2779cf68..5c7db65a 100644
--- a/utilities/runlatex.sh
+++ b/utilities/runlatex.sh
@@ -66,6 +66,11 @@ exerpt_warnings () {
iterate_latex () {
makeindex $basename.idx > /dev/null 2>&1
makeindex $basename-api.idx > /dev/null 2>&1
+ if grep -q '## Warning' $basename.ilg $basename-api.ilg
+ then
+ echo "----- Warning in makeindex, see .ilg log files. -----"
+ exit 1
+ fi
pdflatex $LATEX_OPT $basename > /dev/null 2>&1 < /dev/null || :
if grep -q '! Emergency stop.' $basename.log
then
--
2.17.1
