diff --git a/debian/rules.real b/debian/rules.real
index 82d9a6d22..001879357 100644
--- a/debian/rules.real
+++ b/debian/rules.real
@@ -198,7 +198,7 @@ ifeq (,$(filter nodoc,$(DEB_BUILD_PROFILES)))
 	rm -rf '$(DIR)'
 	$(call copy_source,$(DIR))
 	+$(MAKE_CLEAN) -C '$(DIR)' xmldocs
-	+$(MAKE_CLEAN) -C '$(DIR)' htmldocs mandocs
+	+$(MAKE_CLEAN) -C '$(DIR)' htmldocs
 endif
 	@$(stamp)