Generate man pages (#13901)

* extend gitignore * first working draft * use docs subcomand * rm config-sheet-sheet-2-man
2021-02-24 23:36:48 +01:00
parent 61f347e349
commit 5cc1a49b19
2 changed files with 13 additions and 1 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -106,3 +106,6 @@ prime/

 # Make evidence files
 /.make_evidence
+
+# Manpage
+/man