make-doc-non-dfsg