diff options
| author | Glenn Morris | 2014-05-25 19:20:47 -0700 |
|---|---|---|
| committer | Glenn Morris | 2014-05-25 19:20:47 -0700 |
| commit | 1501bf82b601858f9e270b3aacb4d850ec01e372 (patch) | |
| tree | 5ec6976315b7398a549df0742e492fdd51443052 /admin | |
| parent | e8f2cc26e712f42f6391fa52cd67c3e791096f1e (diff) | |
| download | emacs-1501bf82b601858f9e270b3aacb4d850ec01e372.tar.gz emacs-1501bf82b601858f9e270b3aacb4d850ec01e372.zip | |
* etc/FOR-RELEASE: Mention generated files.
Diffstat (limited to 'admin')
| -rw-r--r-- | admin/FOR-RELEASE | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/admin/FOR-RELEASE b/admin/FOR-RELEASE index 6af5027f73c..eb7e54876f2 100644 --- a/admin/FOR-RELEASE +++ b/admin/FOR-RELEASE | |||
| @@ -4,6 +4,10 @@ Tasks needed before the next release. | |||
| 4 | 4 | ||
| 5 | ** Either update, test, and support the old w32 build method, or remove it. | 5 | ** Either update, test, and support the old w32 build method, or remove it. |
| 6 | 6 | ||
| 7 | ** Make sure the necessary sources and scripts for any generated files | ||
| 8 | are included in the source tarfile. (They don't need to be installed, | ||
| 9 | so eg admin/ is fine.) | ||
| 10 | |||
| 7 | ** Manuals | 11 | ** Manuals |
| 8 | Check for node names using problematic characters: | 12 | Check for node names using problematic characters: |
| 9 | find doc -name '*.texi' -exec grep '^@node[^,]*[:.()]' {} + | 13 | find doc -name '*.texi' -exec grep '^@node[^,]*[:.()]' {} + |