diff options
| author | Glenn Morris <rgm@gnu.org> | 2020-08-19 20:52:08 +0100 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2020-08-19 20:52:08 +0100 |
| commit | 16f00e36dc2292db08e7bc88bd25e55c0cbf99f7 (patch) | |
| tree | 18001553437526eaa0c2a90544b880c13955fae7 /admin | |
| parent | 121be3e1181e609734fc4cc9d2d54cf7eec18ab2 (diff) | |
| download | emacs-16f00e36dc2292db08e7bc88bd25e55c0cbf99f7.tar.gz | |
* admin/admin.el (set-version): Trap yet another NEWS error.
Diffstat (limited to 'admin')
| -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 923f0100820..310cd54e957 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 "^\\(\\+\\+\\+ *\\|--- *\\)$" 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!")))) |