documentation (html, by doxygen) published