diff options
| author | 6543 | 2021-02-24 23:36:48 +0100 |
|---|---|---|
| committer | GitHub | 2021-02-24 16:36:48 -0600 |
| commit | 5cc1a49b19fd6f28f38d07df864988c3b0e348cd (patch) | |
| tree | 463b262ab4abed71f7f73a57b97b78d874e3f5bd /.gitignore | |
| parent | 61f347e3499ef55c57b87e09e92fa44ec127b451 (diff) | |
Generate man pages (#13901)
* extend gitignore
* first working draft
* use docs subcomand
* rm config-sheet-sheet-2-man
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 8d8863546..2cb2a205e 100644 --- a/.gitignore +++ b/.gitignore @@ -106,3 +106,6 @@ prime/ # Make evidence files /.make_evidence + +# Manpage +/man |