adding git type of repository
small update for OMDOC->XHTML generation