debiandoc-sgml/tools/man
