I'm attempting to put two snippets dealing with the measure counter up for review, but I'm running into problems when I run make doc. Here's the tail end of the terminal output:
Frankly, I have no idea if this is a problem that I've created. (I don't know if this is relevant, but I note that the two snippets appear in .../build/out-www/offline-root/Documentation/snippets.pdf but not in .../snippets-big-page.html.)