[jbosstools-dev] Prevent changes in documentation folders to trigger a new build in hudson