diff options
| author | Kristian Evers <kristianevers@gmail.com> | 2018-03-18 22:07:41 +0100 |
|---|---|---|
| committer | Kristian Evers <kristianevers@gmail.com> | 2018-03-18 22:10:04 +0100 |
| commit | b6e2a23585b599910cf7f3f000beab5ecd74ad31 (patch) | |
| tree | 7765692dda1c023f1649f2b21aad18375a1e544e /scripts | |
| parent | aa98657fe98c64ba635c1c0b0387f825e9e917f9 (diff) | |
| download | PROJ-b6e2a23585b599910cf7f3f000beab5ecd74ad31.tar.gz PROJ-b6e2a23585b599910cf7f3f000beab5ecd74ad31.zip | |
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.
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/update_man.sh | 7 |
1 files changed, 7 insertions, 0 deletions
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" |