updating documentation, html pages