diff options
Diffstat (limited to 'man')
-rw-r--r-- | man/Makefile.am | 20 |
1 files changed, 19 insertions, 1 deletions
diff --git a/man/Makefile.am b/man/Makefile.am index 0674e27..e05728f 100644 --- a/man/Makefile.am +++ b/man/Makefile.am @@ -1 +1,19 @@ -man_MANS = lsrc.1 mkrc.1 rcdn.1 rcup.1 rcrc.5 rcm.7 +dist_man_MANS = lsrc.1 mkrc.1 rcdn.1 rcup.1 rcrc.5 rcm.7 + +###### manpages as HTML +release_build_man_html: + ([ -d gh-pages ] || git clone --branch gh-pages --single-branch .. gh-pages) && \ + for i in $(dist_man_MANS); do \ + mandoc -Thtml -Oman=%N.%S.html $$i > gh-pages/$$i.html ; \ + done && \ + cd gh-pages && \ + cp rcm.7.html index.html && \ + git add -A && \ + git commit -m "HTML documentation for $(PACKAGE_VERSION)" + +release_push_man_html: + cd gh-pages && \ + git push -f $(ORIGIN_URL) gh-pages + +release_clean_man_html: + rm -rf gh-pages |