Updated the template for Pandoc and slightly improved the manual

2023-02-20 21:35:57 +01:00
parent fec1feff3b
commit ff8d813637
5 changed files with 17 additions and 5 deletions
--- a/release-to-CTAN.sh
+++ b/release-to-CTAN.sh
@ -20,6 +20,7 @@ check_files

 cd doc
 make crossrefenum.pdf
+if [[ $? != 0 ]] ; then cd - ; exit 1 ; fi
 cd -

 if [[ -a crossrefenum.zip ]] ; then rm crossrefenum.zip ; fi