* Doc generation restructuring: don't remove the whole html/
subdirectory on each generation.

* doc target in make

 /*!

 \page developers_interface Developers' interface to graph structures

 Under construction

 */