Waldemar Brodkorb a5516a063c add hackish way to disable doc generation on newer hosts 8 anni fa
..
disable-docs.patch a5516a063c add hackish way to disable doc generation on newer hosts 8 anni fa