diff --git a/doc/make-pdf.sh b/doc/make-pdf.sh index 372c2c528..91032e178 100755 --- a/doc/make-pdf.sh +++ b/doc/make-pdf.sh @@ -17,7 +17,7 @@ cat >> book.tex <