From 6b5838f72fe535afb542e888d7d2d2da3571bea2 Mon Sep 17 00:00:00 2001 From: Kimplul Date: Sat, 24 Feb 2024 17:47:39 +0200 Subject: initial commit + Now to do the actual hard parts, heh --- scripts/warn-undocumented | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100755 scripts/warn-undocumented (limited to 'scripts/warn-undocumented') diff --git a/scripts/warn-undocumented b/scripts/warn-undocumented new file mode 100755 index 0000000..db22249 --- /dev/null +++ b/scripts/warn-undocumented @@ -0,0 +1,7 @@ +#!/bin/sh +# look through all files for either @file or \file +for file in $@ +do + grep -c '[@\]file' "$file" |\ + awk -F':' "\$1 == 0 {print \"Undocumented file: $file\"}" +done -- cgit v1.3