pandoc: add man as input

This commit is contained in:
Ingolf Wagner 2020-01-06 21:11:31 +13:00
parent 408efd069f
commit 73bcccafa9
No known key found for this signature in database
GPG key ID: 76BF5F1928B9618B

View file

@ -320,7 +320,7 @@ in {
(lib.fileContents <assets/etc-info/restic.sh>)) (lib.fileContents <assets/etc-info/restic.sh>))
] ++ (lib.crossLists pandocScript [ ] ++ (lib.crossLists pandocScript [
[ "markdown" "mediawiki" ] [ "man" "markdown" "mediawiki" ]
[ "mediawiki" "docbook5" "html5" "man" ] [ "mediawiki" "docbook5" "html5" "man" ]
]); ]);
} }