diff --git a/doc/make-pdf.sh b/doc/make-pdf.sh index 9834d2565..372c2c528 100755 --- a/doc/make-pdf.sh +++ b/doc/make-pdf.sh @@ -12,10 +12,12 @@ done > book.tex cat >> book.tex <