diff --git a/doc/make-pdf.sh b/doc/make-pdf.sh index aa3991b01..9834d2565 100755 --- a/doc/make-pdf.sh +++ b/doc/make-pdf.sh @@ -14,7 +14,7 @@ done cat >> book.tex <