From d9132e1cba66b5455a627251f377cd95eb008fc1 Mon Sep 17 00:00:00 2001
From: ng0 <ng0@n0.is>
Date: Sun, 1 Dec 2019 23:19:58 +0000
Subject: convert texinfo checks to proper awk script, add detection for
 awk/gawk, remove obsolete code.

---
 contrib/scripts/.gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to 'contrib/scripts/.gitignore')

diff --git a/contrib/scripts/.gitignore b/contrib/scripts/.gitignore
index 547c89185..3b34b9b69 100644
--- a/contrib/scripts/.gitignore
+++ b/contrib/scripts/.gitignore
@@ -1,2 +1,3 @@
 gnunet-chk.py
 removetrailingwhitespace.py
+check-texinfo.awk
-- 
cgit v1.2.3