Add script to generate man page

This commit is contained in:
karlch 2019-01-07 00:46:17 +01:00
parent 14f3a7625a
commit bf026f2f48
3 changed files with 14 additions and 0 deletions

1
.gitignore vendored
View File

@ -16,3 +16,4 @@ TODO
.pytest_cache
Makefile
.venv
**/.doctrees

View File

@ -169,3 +169,7 @@ from the source code. It must be run from the repository directory using::
$ scripts/src2rst.py
Once this is completed I can re-build the actual website using ``sphinx``.
In analogy another script is used to re-build the man page::
$ scripts/gen_manpage.sh

9
scripts/gen_manpage.sh Executable file
View File

@ -0,0 +1,9 @@
#!/bin/bash
# Simple script to create the man page using sphinx
# First re-create the source code documentation
scripts/src2rst.py
# Then call sphinx to rebuild the man page
sphinx-build -b man docs misc/