docbooktool