aboutsummaryrefslogtreecommitdiff
path: root/dist
diff options
context:
space:
mode:
Diffstat (limited to 'dist')
-rw-r--r--dist/isum.awk2
1 files changed, 1 insertions, 1 deletions
diff --git a/dist/isum.awk b/dist/isum.awk
index 476c6ea9..4fce96ec 100644
--- a/dist/isum.awk
+++ b/dist/isum.awk
@@ -66,7 +66,7 @@ debug!=0 { print "# " $0 }
{ printtabs = 0 }
-/^(9a|9c|9l|9ar|9?install|cp|rm|mv|mk|9 yacc|9 lex|9 rc|do|for i|if|mk|gcc|cpp|cp|sh|cmp|rc|\.\/o)($|[^:])/ {
+/^(9a|9c|9l|9ar|9?install|cat pdf|cp|rm|mv|mk|9 yacc|9 lex|9 rc|do|for i|if|mk|gcc|cpp|cp|sh|cmp|rc|\.\/o)($|[^:])/ {
if(debug) print "% start"
errors = 0
cmd = ""