Back in 2011, a tiny.html file was checked in. However, it has gone completely unchanged since then, and once #229 lands, it will be out of date with respect to the way criterion plots data. I'd consider regenerating tiny.html, but I can't even find the source code that created it! My best guess is that tiny.html was created from a one-off criterion program that has since been lost to the sands of time.
I suppose we could consider keeping tiny.html around for the sake of being an example criterion HTML report, but there are already examples in the www/ directory that serve the same purpose. Better yet, the examples in www/ correspond to actual, version-controlled examples, so they are actually maintainable. In light of this, I don't see much of a reason to keep tiny.html around. I propose just ripping it out.
Back in 2011, a
tiny.htmlfile was checked in. However, it has gone completely unchanged since then, and once #229 lands, it will be out of date with respect to the waycriterionplots data. I'd consider regeneratingtiny.html, but I can't even find the source code that created it! My best guess is thattiny.htmlwas created from a one-offcriterionprogram that has since been lost to the sands of time.I suppose we could consider keeping
tiny.htmlaround for the sake of being an examplecriterionHTML report, but there are already examples in thewww/directory that serve the same purpose. Better yet, the examples inwww/correspond to actual, version-controlled examples, so they are actually maintainable. In light of this, I don't see much of a reason to keeptiny.htmlaround. I propose just ripping it out.