diff --git a/libguile/guile-snarf.awk.in b/libguile/guile-snarf.awk.in index b49b590fc..582b5a61d 100644 --- a/libguile/guile-snarf.awk.in +++ b/libguile/guile-snarf.awk.in @@ -2,8 +2,7 @@ # 12-Dec-1999 BEGIN { FS="|"; - dot_doc_file = ARGV[1]; ARGV[1] = ""; - ARGC = 0; + dot_doc_file = ARGV[1]; ARGV[1] = "-"; std_err = "/dev/stderr"; # be sure to put something in the files to help make out print "";