Eelco Dolstra 9dcd0aebc5 generate-manpage.nix: Fix short names		2020-12-21 13:32:27 +01:00
..
manual	generate-manpage.nix: Fix short names	2020-12-21 13:32:27 +01:00