projects
/
gnus
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
d2f7820
)
ignore detailmenu.
author
ShengHuo ZHU
<zsh@cs.rochester.edu>
Fri, 23 Feb 2001 20:58:52 +0000
(20:58 +0000)
committer
ShengHuo ZHU
<zsh@cs.rochester.edu>
Fri, 23 Feb 2001 20:58:52 +0000
(20:58 +0000)
texi/infohack.el
patch
|
blob
|
history
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))
(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)
(replace-match "")))
(defun infohack (file)