[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[gnunet] branch master updated: check-texinfo: add "the the"
From: |
gnunet |
Subject: |
[gnunet] branch master updated: check-texinfo: add "the the" |
Date: |
Wed, 04 Dec 2019 20:21:29 +0100 |
This is an automated email from the git hooks/post-receive script.
ng0 pushed a commit to branch master
in repository gnunet.
The following commit(s) were added to refs/heads/master by this push:
new 7bb0b3291 check-texinfo: add "the the"
7bb0b3291 is described below
commit 7bb0b3291244286a114e652949a181e31f70364f
Author: ng0 <address@hidden>
AuthorDate: Wed Dec 4 19:18:15 2019 +0000
check-texinfo: add "the the"
---
contrib/scripts/check-texinfo.awk.in | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/contrib/scripts/check-texinfo.awk.in
b/contrib/scripts/check-texinfo.awk.in
index 37e2c9f20..3d6a1c643 100755
--- a/contrib/scripts/check-texinfo.awk.in
+++ b/contrib/scripts/check-texinfo.awk.in
@@ -5,7 +5,7 @@
#
# exception to add: ignore license files.
# exception to add: uref's can go above 79 chars.
-
+# write functions to avoid more text if possible.
BEGIN {
printf "Running basic texinfo linters\n" ;
@@ -56,4 +56,9 @@ BEGIN {
printf "...lines containing a popular typo\n" ;
print FILENAME":"NR":"$0 ;
}
+
+ if (/the the/) {
+ printf "...lines containing a popular typo\n" ;
+ print FILENAME":"NR":"$0 ;
+ }
}
--
To stop receiving notification emails like this one, please contact
address@hidden.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [gnunet] branch master updated: check-texinfo: add "the the",
gnunet <=