This removes X11 mans, too.

23 years ago · 854d5971f6
1 changed files with 1 additions and 1 deletions
--- 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,$_);
 		}