diff --git a/doc/tutorial/tutorial.texi b/doc/tutorial/tutorial.texi
index 958262e0b..f4fca50b0 100644
--- a/doc/tutorial/tutorial.texi
+++ b/doc/tutorial/tutorial.texi
@@ -64,7 +64,9 @@ along with this program.  If not, see @uref{http://www.gnu.org/licenses/}.
 @end titlepage
 
 @c So the toc is printed at the start.
+@ifnottex
 @anchor{Full Table of Contents}
+@end ifnottex
 @contents
 
 @ifnottex