lei rediff: regenerate diffs from stdin

[public-inbox.git] / Makefile.PL

diff --git a/Makefile.PL b/Makefile.PL
index 85b18e7d9c0b01e29b3f27c4e3368be91445464b..401c033e22454a8cd98d072fe1aa8989b15717f4 100644 (file)
--- a/Makefile.PL
+++ b/Makefile.PL
@@ -72,7 +72,8 @@ for my $i (@sections) {
                $t->{"Documentation/$m.html : $txt"} = [ "\$(txt2pre) <$txt" ];
                $t->{".$m.cols : $m.$i"} = [
                        "\@echo CHECK80 $m.$i;".
-                       "COLUMNS=80 \$(MAN) ./$m.$i | \$(check_man)" ];
+                       "COLUMNS=80 \$(MAN) ./$m.$i | \$(check_man)",
+                       '>$@' ];
                $t->{".$m.lexgrog: $m.$i"} = [
                        "\@echo LEXGROG $m.$i;" .
                        "\$(LEXGROG) ./$m.$i >\$\@+ && mv \$\@+ \$@" ];