--- a/doc/manual/manual.texi	Mon Apr 27 16:50:16 2009 +0200
+++ b/doc/manual/manual.texi	Mon Apr 27 22:46:50 2009 -0700
@@ -64,7 +64,9 @@
 @end titlepage
 
 @c So the toc is printed at the start.
+@ifnottex
 @anchor{Full Table of Contents}
+@end ifnottex
 @shortcontents
 
 @ifnottex