A series of simple tools to ease the development of large docbook documents