Remove docbook target, and update .gitignore to ignore that directory from now on.