diff --git a/libctf/doc/ctf-spec.texi b/libctf/doc/ctf-spec.texi
index 78c7aed7642..07d860ddc92 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