Tag Archives: tools

We started this week to do a major overhaul to the documentation of our tools. The first step was to use a different HTML generator. We used GhostDoc before, but we have had some big problems with the generated HTML.…