[PATCH] Fix debian doc-base