diff --git a/doc/make-pdf.sh b/doc/make-pdf.sh
index 91032e178..648e4003c 100755
--- a/doc/make-pdf.sh
+++ b/doc/make-pdf.sh
@@ -63,8 +63,8 @@ echo >> book.tex
 echo "\end{document}" >> book.tex
 
 # apply to whole book
-sed -i.bak 's/\\begin{verbatim}/\\vspace{1em} \\begin{lstlisting}/g' book.tex
-sed -i.bak 's/\\end{verbatim}/\\end{lstlisting}/g' book.tex
+sed -i.bak 's/\\begin{verbatim}/\\begin{minipage}{\\textwidth} \\begin{lstlisting}/g' book.tex
+sed -i.bak 's/\\end{verbatim}/\\end{lstlisting} \\end{minipage}/g' book.tex
 rm book.tex.bak
 
 pdflatex book.tex