zynga/jasy — pull request #67 by BonsaiDen (2012-09-03 14:52:09+00:00)
Title: Fix issues with the caching of highlighted doc comments

Doc comments only stored the first version of the generated HTML associated with them. This resulted in the problem that one could not generate both a highlighted and a not highlighted version of the API data in the same run. This commit fixes it by introducing an addtional field for highlighted HTML doc comments