²Avoid to put ∖IncludeALLPROSEDocumentationtrue into local.sty. You can do this by re-compiling the documentation via make rm-local.sty dvi.