Fix weirdness with single-page table of contents, reported by Guido.

diff --git a/Doc/myformat.sty b/Doc/myformat.sty
index 8250ce4d807348bc706cca31c1bbdca115747e50..3de8553cdbb78579ccfa50cd092db48d92528fc2 100644 (file)
--- a/Doc/myformat.sty
+++ b/Doc/myformat.sty
@@ -365,7 +365,7 @@
     \fi%
   \fi%
   }%
-  \pagebreak%
+  \cleardoublepage%
   \pagenumbering{arabic}%
 }