projects
/
gnus
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
9f34948
)
Don't remove detailmenu stuff.
author
ShengHuo ZHU
<zsh@cs.rochester.edu>
Sun, 25 Feb 2001 15:22:02 +0000
(15:22 +0000)
committer
ShengHuo ZHU
<zsh@cs.rochester.edu>
Sun, 25 Feb 2001 15:22:02 +0000
(15:22 +0000)
texi/infohack.el
patch
|
blob
|
history
diff --git
a/texi/infohack.el
b/texi/infohack.el
index
b9e4503
..
d3e59a1
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\\|detailmenu\\)
" nil t)
+ (while (re-search-forward "@\\(end \\)?
ifnottex
" nil t)
(replace-match "")))
(defun infohack (file)