diff options
| author | Glenn Morris <rgm@gnu.org> | 2014-05-25 19:20:47 -0700 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2014-05-25 19:20:47 -0700 |
| commit | 1501bf82b601858f9e270b3aacb4d850ec01e372 (patch) | |
| tree | 5ec6976315b7398a549df0742e492fdd51443052 | |
| parent | e8f2cc26e712f42f6391fa52cd67c3e791096f1e (diff) | |
* etc/FOR-RELEASE: Mention generated files.
| -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 6af5027f73..eb7e54876f 100644 --- a/admin/FOR-RELEASE +++ b/admin/FOR-RELEASE @@ -4,6 +4,10 @@ Tasks needed before the next release. ** Either update, test, and support the old w32 build method, or remove it. +** Make sure the necessary sources and scripts for any generated files +are included in the source tarfile. (They don't need to be installed, +so eg admin/ is fine.) + ** Manuals Check for node names using problematic characters: find doc -name '*.texi' -exec grep '^@node[^,]*[:.()]' {} + |