6543 5cc1a49b19 Generate man pages (#13901) ...

* extend gitignore

* first working draft

* use docs subcomand

* rm config-sheet-sheet-2-man

2021-02-24 16:36:48 -06:00

27 KiB

Raw Blame History

View Raw