diff options
author | Akim Demaille <akim@lrde.epita.fr> | 2012-06-07 14:41:56 +0200 |
---|---|---|
committer | Akim Demaille <akim@lrde.epita.fr> | 2012-06-12 14:49:15 +0200 |
commit | 6733d0247657f0f46a9fd27e3525b83bae24ae13 (patch) | |
tree | 52e3419e615ac38f5488805f0521547a817f4567 /gnulib | |
parent | cc9fb4f6b60cc37d6008ae24209ecf24179359fc (diff) | |
download | bison-6733d0247657f0f46a9fd27e3525b83bae24ae13.tar.gz |
maint: improve release procedure instructions.
* gnulib: Update, in particular (README-release).
* bootstrap.conf: don't require gendocs, provided by gnu-web-doc-update,
provided by readme-release.
* README-hacking: Update accordingly.
Diffstat (limited to 'gnulib')
m--------- | gnulib | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/gnulib b/gnulib -Subproject db60bb41e9f676668f9b0e08e1e7fed4df3ab55 +Subproject b42157dd01e3243646f5a8270c09ee125a8aca2 |