diff options
| author | Stefano Lattarini <stefano.lattarini@gmail.com> | 2012-12-08 20:11:39 +0100 |
|---|---|---|
| committer | Stefano Lattarini <stefano.lattarini@gmail.com> | 2012-12-09 10:20:01 +0100 |
| commit | 49fb69d823cf3f62609841feee358384e719669f (patch) | |
| tree | e13eda4a251bc4dd2a983c7f4d881d1bceba326c /HACKING | |
| parent | 6e8997d86a0e6af3575f0f794380d4186fd446e4 (diff) | |
| download | automake-49fb69d823cf3f62609841feee358384e719669f.tar.gz | |
docs: add rule to generate manuals for www.gnu.org
Less clerical work to do by hand.
* Makefile.am (web-manuals): New rule.
(clean_texinfo_clutter): New macro.
* clean-web-manuals, clean-texinfo-clutter: New cleaning
rules.
(clean-local): Depend on them.
* .gitignore: Update.
* HACKING: Adjust instructions for generation of manuals.
Signed-off-by: Stefano Lattarini <stefano.lattarini@gmail.com>
Diffstat (limited to 'HACKING')
| -rw-r--r-- | HACKING | 9 |
1 files changed, 3 insertions, 6 deletions
@@ -259,12 +259,9 @@ use "make GNUPLOADFLAGS='--user KEY' git-upload-release". * For stable releases, update the manuals at www.gnu.org: - - Generate manuals: - cd doc - export GENDOCS_TEMPLATE_DIR=../lib - sh ../lib/gendoc.sh --email bug-automake@gnu.org automake "GNU Automake" - - copy manuals recursively to web cvs, - - commit. + - Generate manuals, running "make web-manuals". + - Copy manuals recursively to web CVS. + - Commit in CVS. - Check for link errors, fix them, recheck until convergence: <http://validator.w3.org/checklink> |