Replaced docbook doc with static html