1 files changed, 1 insertions, 1 deletions
diff --git a/gtk/makeenums.pl b/gtk/makeenums.pl
index d070d3da6..986e934e9 100755
--- a/gtk/makeenums.pl
+++ b/gtk/makeenums.pl
@@ -108,7 +108,7 @@ if (@ARGV) {
 }
 
 if ($gen_defs) {
-    print ";; generated by makeenums.awk  ; -*- scheme -*-\n\n";
+    print ";; generated by makeenums.pl  ; -*- scheme -*-\n\n";
 } else {
     print "/* Generated by makeenums.pl */\n\n";
 }