diff options
-rw-r--r--[-rwxr-xr-x] | src/check-doc-syntax.awk | 2 | ||||
-rwxr-xr-x | src/check-doc-syntax.sh | 2 |
2 files changed, 1 insertions, 3 deletions
diff --git a/src/check-doc-syntax.awk b/src/check-doc-syntax.awk index 5fdabda..1fa8b8d 100755..100644 --- a/src/check-doc-syntax.awk +++ b/src/check-doc-syntax.awk @@ -1,5 +1,3 @@ -#!/usr/bin/awk -f - BEGIN { name_found = 1 SECTION_DOC = 0 diff --git a/src/check-doc-syntax.sh b/src/check-doc-syntax.sh index c74fb87..762a484 100755 --- a/src/check-doc-syntax.sh +++ b/src/check-doc-syntax.sh @@ -72,7 +72,7 @@ fi >&2 # Only run the syntax checker on the source files (not doc/) if test -e ./check-doc-syntax.awk; then - if echo $FILES | xargs ./check-doc-syntax.awk ; then + if echo $FILES | xargs awk -f ./check-doc-syntax.awk ; then : else stat=1 |