<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Sep 16, 2014 at 12:14 PM, Martin Landa <span dir="ltr"><<a href="mailto:landa.martin@gmail.com" target="_blank">landa.martin@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">2014-09-16 17:50 GMT+02:00 Vaclav Petras <<a href="mailto:wenzeslaus@gmail.com">wenzeslaus@gmail.com</a>>:<br>
> When I tested this at my computer it was green (`make htmldox`). Be sure to<br>
> reload the page (several times), browser might want to trick you.<br>
<br>
</span>there shouldn't be any difference between `htmldox` and `htmldocs`<br>
commands. All commands produce on my PC blue-like style, will check<br>
more deeply later. Thanks for quick test, Martin<div class="yj6qo ajU"><div id=":2g8" class="ajR" tabindex="0"></div></div></blockquote></div><br></div><div class="gmail_extra">I would check `svn status` for local modifications.<br></div></div>