"Dimi Paun" dimi@lattica.com writes:
Yeah, agreed. But it would be so much easier to keep the docs up-to-date if we can simply grep for the values. I'm not suggesting that you do the work, but if you think we can mark them somehow for easy grepping, we can add it as a Janitorial task.
It's not the extra work, it's that I'm not convinced we want to add a lot of noise in the source for that. I don't think we can realistically hope to build the documentation only by grepping, we need to check the source anyway.