Merge branch 'jc/grep'

diff --git a/Documentation/build-docdep.perl b/Documentation/build-docdep.perl
index 6ff35e02faf386f103fd691d8ccca346e181614c..489389c32af57d39bb843e2b0621144b38006fa3 100755 (executable)
--- a/Documentation/build-docdep.perl
+++ b/Documentation/build-docdep.perl
@@ -22,15 +22,11 @@
 while ($changed) {
     $changed = 0;
     while (my ($text, $included) = each %include) {
-       print STDERR "Looking at $text...\n";
        for my $i (keys %$included) {
-           print STDERR "$text includes $i.\n";
            # $text has include::$i; if $i includes $j
            # $text indirectly includes $j.
            if (exists $include{$i}) {
-               print STDERR "$i includes something.\n";
                for my $j (keys %{$include{$i}}) {
-                   print STDERR "$text includes $i include $j\n";
                    if (!exists $include{$text}{$j}) {
                        $include{$text}{$j} = 1;
                        $included{$j} = 1;