gpr: documentation output in html/