From 854d5971f674c9bca3dc6a400b5f173e8ada8597 Mon Sep 17 00:00:00 2001
From: freesource <freesource>
Date: Fri, 14 Sep 2001 05:57:11 +0000
Subject: [PATCH] This removes X11 mans, too.

---
 yard/scripts/make_debian | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/yard/scripts/make_debian b/yard/scripts/make_debian
index a4d3429..48d3186 100755
--- a/yard/scripts/make_debian
+++ b/yard/scripts/make_debian
@@ -363,7 +363,7 @@ foreach (@required_files) {
 	    }
 	}
 	else {
-	    if (! m,/usr/share/info|/usr/share/man|/usr/share/doc,) {
+	    if (! m,/usr/share/info|/usr/share/man|/usr/share/doc|/usr/X11R6/man,) {
 		if ($alternatives{$_}) {
 		    push(@alternatives,$_);
 		}