I've been creating a patch for the CG and wanted to test it. Early this
afternoon, I edited issues.itexi and compiled it locally, and the changes
were what I'd created. However, I'd missed a minor edit, so I updated it
and tried the make doc again. The change wasn't reflected in the local web
pages. I did a make doc-clean and make doc and got a failed build. I've
retried this a few times since with no joy but much time. Is there a
problem with the current git source for docs?