diff options
author | Mike Burns <mike@mike-burns.com> | 2014-11-19 20:05:47 -0800 |
---|---|---|
committer | Mike Burns <mike@mike-burns.com> | 2014-12-19 15:20:04 +0100 |
commit | 1285462a560a65c7de2579af2053e4f62faa28af (patch) | |
tree | ad5bae9bbc37fd319a4872495a9798f5924a4fad /man | |
parent | 78db1a5086ccf17345956105e48e649f5e09abbf (diff) |
Add a release script
The Makefiles were mostly filled with a complex shell script written in
m4sh. Moving that out into a separate script helps debugging and
compatibility, and in general makes life better.
This also improved the DEVELOPERS.md documentation to be more clear
about the steps of a release, including third-party packages.
Diffstat (limited to 'man')
-rw-r--r-- | man/Makefile.am | 21 |
1 files changed, 1 insertions, 20 deletions
diff --git a/man/Makefile.am b/man/Makefile.am index 29f7386..20c241e 100644 --- a/man/Makefile.am +++ b/man/Makefile.am @@ -1,21 +1,2 @@ +# When changing this you must also change maint/release.in . dist_man_MANS = lsrc.1 mkrc.1 rcdn.1 rcup.1 rcrc.5 rcm.7 - -ORIGIN_URL=$(shell git config --get remote.origin.url) - -###### manpages as HTML -release_build_man_html: - ([ -d $(abs_top_builddir)/gh-pages ] || git clone --branch gh-pages --single-branch .. $(abs_top_builddir)/gh-pages) && \ - for i in $(dist_man_MANS); do \ - mandoc -Thtml -Oman=%N.%S.html $$i > $(abs_top_builddir)/gh-pages/$$i.html ; \ - done && \ - cd $(abs_top_builddir)/gh-pages && \ - cp rcm.7.html index.html && \ - git add -A && \ - git commit -m "HTML documentation for $(PACKAGE_VERSION)" - -release_push_man_html: - cd $(abs_top_builddir)/gh-pages && \ - git push -f $(ORIGIN_URL) gh-pages - -release_clean_man_html: - rm -rf $(abs_top_builddir)/gh-pages |