
This repository doesn't need manual pages built, and the build fails because of what appears to be a bug in docutils 0.12. Turn off manual page building to avoid errors in the doc publishing job. Change-Id: Icce0b3ac7e6dbe106b647ef37a317508e667bfd6
This repository doesn't need manual pages built, and the build fails because of what appears to be a bug in docutils 0.12. Turn off manual page building to avoid errors in the doc publishing job. Change-Id: Icce0b3ac7e6dbe106b647ef37a317508e667bfd6