Update doc html.
Revert to development version.