From 604a4a57430ca6094fcb7827eb13998484a9db10 Mon Sep 17 00:00:00 2001
From: Ben Hutchings <ben@decadent.org.uk>
Date: Sat, 30 Sep 2017 14:45:45 +0100
Subject: [PATCH] debian/rules.real: Stop using the mandocs target

The upstream doc build system still implements the old mandocs target,
but it's now a no-op.  Stop using it, as it will presumably be removed
at some point.
---
 debian/rules.real | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)