From d1ebdec5a9eaba09bb5dbd7492bcdf200d304621 Mon Sep 17 00:00:00 2001 From: Markus Armbruster Date: Thu, 17 Jan 2008 22:12:55 +0100 Subject: [PATCH] Note generator script in output --- info/mktop.pl | 1 + 1 file changed, 1 insertion(+) diff --git a/info/mktop.pl b/info/mktop.pl index 9ee73079..c353c85d 100644 --- a/info/mktop.pl +++ b/info/mktop.pl @@ -50,6 +50,7 @@ for (@ARGV) { open(TOP, ">$out") or die "Can't open $out: $!"; print TOP <