Browse Source

Fix grepping log after move

Samuel Thibault 5 years ago
parent
commit
28b9f91d16
1 changed files with 1 additions and 1 deletions
  1. 1 1
      doc/doxygen/Makefile.am

+ 1 - 1
doc/doxygen/Makefile.am

@@ -272,7 +272,7 @@ $(DOX_PDF): $(DOX_TAG) refman.tex
 	$(SED) -i s'/\\item Module\\.Documentation/\\item \\hyperlink{ModuleDocumentation}{Module Documentation}/' index.tex ;\
 	$(SED) -i s'/\\item File\\.Documentation/\\item \\hyperlink{FileDocumentation}{File Documentation}/' index.tex ;\
 	max_print_line=1000000 $(PDFLATEX) -interaction batchmode refman.tex ;\
-	! < $(DOX_LATEX_DIR)/refman.log grep -v group__ | grep -v _amgrp | grep -v deprecated__ | grep "multiply defined"
+	! < refman.log grep -v group__ | grep -v _amgrp | grep -v deprecated__ | grep "multiply defined" || exit 1 ;\
 	$(MAKEINDEX) refman.idx ;\
 	max_print_line=1000000 $(PDFLATEX) -interaction batchmode refman.tex ;\
 	done=0; repeat=5 ;\