From 3ca49e560119ca372d5701a44f63653b98857d5e Mon Sep 17 00:00:00 2001 From: ShengHuo ZHU Date: Sun, 25 Feb 2001 15:22:02 +0000 Subject: [PATCH] Don't remove detailmenu stuff. --- texi/infohack.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/texi/infohack.el b/texi/infohack.el index b9e4503b9..d3e59a1c2 100644 --- 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\\|detailmenu\\)" nil t) + (while (re-search-forward "@\\(end \\)?ifnottex" nil t) (replace-match ""))) (defun infohack (file) -- 2.25.1