--- a/doc/manual/manual.texi	Fri Apr 24 16:00:44 2009 -0700
+++ b/doc/manual/manual.texi	Sat Apr 25 14:56:52 2009 -0700
@@ -65,7 +65,9 @@
 
 @c So the toc is printed at the start.
 @anchor{Full Table of Contents}
+@ifnottex
 @contents
+@end ifnottex
 
 @ifnottex
 @node Top, Overview, Full Table of Contents