Fixing the docbook target
Fixing the gitignore