(BSD v3) generate HTML documentation