update docbook html