0001-Doc-generation-stop-requiring-prior-installation.patch
