adjust docbook setting