diff --git a/debian/rules.real b/debian/rules.real
index 8094133de..d7524f469 100644
--- a/debian/rules.real
+++ b/debian/rules.real
@@ -272,21 +272,6 @@ ifeq (,$(filter nodoc,$(DEB_BUILD_PROFILES)))
 endif
 	+$(MAKE_SELF) install-base
 
-install-manual: PACKAGE_NAME = $(SOURCE_BASENAME)-manual-$(VERSION)
-install-manual: DIR=$(BUILD_DIR)/build-doc
-install-manual: DH_OPTIONS = -p$(PACKAGE_NAME)
-install-manual: $(STAMPS_DIR)/build-doc
-	dh_prep
-# Some manual pages are generated multiple times with different
-# metadata, and need to be de-duplicated.  This matches what the
-# upstream installmandocs target does, except that we use
-# dh_installman.
-	set -o pipefail; \
-	find $(DIR)/Documentation/DocBook/man/ -name '*.9.gz' -printf '%h %f\n' | \
-		sort -k 2 -k 1 | uniq -f 1 | sed -e 's: :/:' | \
-		xargs dh_installman
-	+$(MAKE_SELF) install-base
-
 install-headers_$(ARCH): PACKAGE_NAMES = linux-headers-$(ABINAME)-all linux-headers-$(ABINAME)-all-$(ARCH)
 install-headers_$(ARCH): DH_OPTIONS = $(foreach p, $(PACKAGE_NAMES), -p$(p))
 install-headers_$(ARCH):