move html docs to -devel, make install re-entrant