diff --git a/debian/rules.real b/debian/rules.real
index 35d469859..6fe6baa50 100644
--- a/debian/rules.real
+++ b/debian/rules.real
@@ -198,7 +198,7 @@ install-doc: $(STAMPS_DIR)/build-doc
 	mkdir -p $(OUT_DIR)
 	set -o pipefail; \
 	find CREDITS MAINTAINERS README REPORTING-BUGS Documentation \
-		-name '.gitignore' -prune -o -name DocBook -print -o -print | \
+		-name '.gitignore' -prune -o -name DocBook -prune -o -print | \
 	cpio -pd --preserve-modification-time '$(CURDIR)/$(OUT_DIR)'
 	set -o pipefail; \
 	cd $(DIR)/Documentation/DocBook; \