From 704b8c2c50eef6004b3c604fd3d3e27d9c8631db Mon Sep 17 00:00:00 2001
From: Tom Henderson <tomh@tomh.org>
Date: Fri, 13 Nov 2009 13:21:59 -0800
Subject: [PATCH] fix tutorial pdf build

---
 doc/tutorial/tutorial.texi | 2 ++
 1 file changed, 2 insertions(+)

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