diff options
| author | Glenn Morris <rgm@gnu.org> | 2021-03-25 11:48:13 -0700 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2021-03-25 11:48:13 -0700 |
| commit | 38b127d32efe39e4ffb2bdd9d43e9f3c517afd8f (patch) | |
| tree | 95b7ac3961ff93e8584348b886e91fc3d4255241 | |
| parent | 0d7e2a993e791d0a39e2c2d7e20279bebb8b418d (diff) | |
| download | emacs-38b127d32efe39e4ffb2bdd9d43e9f3c517afd8f.tar.gz | |
* admin/admin.el (set-version): Handle malformed NEWS markup.
| -rw-r--r-- | admin/admin.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/admin/admin.el b/admin/admin.el index 9be6f4a6071..d75612cb51f 100644 --- a/admin/admin.el +++ b/admin/admin.el @@ -151,7 +151,7 @@ Root must be the root of an Emacs source tree." (display-warning 'admin "NEWS file contains empty sections - remove them?")) (goto-char (point-min)) - (if (re-search-forward "^\\(\\+\\+\\+ *$\\|--- *$\\|Temporary note:\\)" nil t) + (if (re-search-forward "^\\(\\+\\+\\+? *$\\|---? *$\\|Temporary note:\\)" nil t) (display-warning 'admin "NEWS file still contains temporary markup. Documentation changes might not have been completed!")))) |