Consistent output file names in all backends#1191

Julow merged 3 commits intoocaml:masterocaml/odoc:masterfrom

Julow:man_kind_prefixingJulow/odoc:man_kind_prefixingCopy head branch name to clipboard