ignore detailmenu.

diff --git a/texi/infohack.el b/texi/infohack.el
index d3e59a1..b9e4503 100644 (file)
--- a/texi/infohack.el
+++ b/texi/infohack.el
@@ -29,7 +29,7 @@
 
 (defun infohack-remove-unsupported ()
   (goto-char (point-min))
-  (while (re-search-forward "@\\(end \\)?ifnottex" nil t) 
+  (while (re-search-forward "@\\(end \\)?\\(ifnottex\\|detailmenu\\)" nil t) 
     (replace-match "")))
 
 (defun infohack (file)