diff options
| -rw-r--r-- | gs/doc/Gsdoc.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gs/doc/Gsdoc.el b/gs/doc/Gsdoc.el index 19a59d3ad..9bb63717b 100644 --- a/gs/doc/Gsdoc.el +++ b/gs/doc/Gsdoc.el @@ -462,7 +462,7 @@ be most useful in preparing new sections for the news document." (goto-char (point-min)) (insert "<pre>\n") (setq g~pre-point (point)) (setq g~ID " [No pre-existing ID] ") -(if (re-search-forward "^\\$Id\\( [^ ]+ \\)\\$" nil t) (progn +(if (re-search-forward "^\\$Id:\\( [^ ]+ \\)\\$" nil t) (progn (setq g~ID (buffer-substring (match-beginning 1) (match-end 1))) (next-line 1) (beginning-of-line) (delete-region g~pre-point (point)) )) |