diff --git a/doc/make-pdf.sh b/doc/make-pdf.sh index 648e4003c..04803c16c 100755 --- a/doc/make-pdf.sh +++ b/doc/make-pdf.sh @@ -34,6 +34,8 @@ cat >> book.tex <