debiandoc-sgml/tools/lib
