diff options
Diffstat (limited to 'src/check-doc-syntax.awk')
-rw-r--r--[-rwxr-xr-x] | src/check-doc-syntax.awk | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/check-doc-syntax.awk b/src/check-doc-syntax.awk index 5fdabdac9..1fa8b8d22 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 |