aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--libctf/doc/ctf-spec.texi1
1 files changed, 0 insertions, 1 deletions
diff --git a/libctf/doc/ctf-spec.texi b/libctf/doc/ctf-spec.texi
index 78c7aed..07d860d 100644
--- a/libctf/doc/ctf-spec.texi
+++ b/libctf/doc/ctf-spec.texi
@@ -2,7 +2,6 @@
@setfilename ctf-spec.info
@settitle The CTF File Format
@ifnottex
-@validatemenus off
@xrefautomaticsectiontitle on
@end ifnottex
@synindex fn cp