fixing commit, only json script

2021-06-30 18:55:15 +02:00
parent dd5abbc430
commit 0075c76ecb
2 changed files with 17 additions and 0 deletions
--- a/make-pdf.sh
+++ b/make-pdf.sh
@@ -19,6 +19,7 @@ python3.7 json-cleanup-for-pdf.py


 cd _build/latex
+mv book.pdf book-xetex.pdf

 rm -f book-in.tex sphinxmessages-in.sty book-in.aux book-in.toc
 mv book.tex book-in.tex