From b6e2a23585b599910cf7f3f000beab5ecd74ad31 Mon Sep 17 00:00:00 2001 From: Kristian Evers Date: Sun, 18 Mar 2018 22:07:41 +0100 Subject: Setup automatic man page generation Create man pages from the Sphinx documentation. Ideally the man pages are updated completely automatic when running make dist and make install but that is a quite complicated setup. For now a script that builds the man pages and commits them has been created. This is to be run as part of the release process so that man pages are aligned with the most recent version of the docs. --- scripts/update_man.sh | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100755 scripts/update_man.sh (limited to 'scripts') diff --git a/scripts/update_man.sh b/scripts/update_man.sh new file mode 100755 index 00000000..1a67f535 --- /dev/null +++ b/scripts/update_man.sh @@ -0,0 +1,7 @@ +# run from root of repo +cd docs +make man +cd .. +cp -r docs/build/man/*.1 man/man1 +git add man/man1/*.1 +git commit -m "Update man-pages from Sphinx-docs" -- cgit v1.2.3