if (ARGV[argc] == "--")
break;
for (i = argc + 1; i < ARGC; ++i)
- file_wanted[ARGV[i]] = 1;
+ file_wanted[basename(ARGV[i])] = ARGV[i];
ARGC = argc;
}
}
/^@comment file: / {
- if (!file_wanted[$3])
- message("ignoring " $3);
+ if (file = file_wanted[$3])
+ message(" GEN " file);
else
- {
- message("extracting " $3);
- file = $3;
- }
+ message("SKIP " $3);
}
/^@(small)?example$/, /^@end (small)?example$/ {
}
+function basename(name, a, n) {
+ n = split (name, a, "/");
+ return a[n];
+}
+
function message(msg) {
if (! message_printed[msg])
{