1 files changed, 82 insertions, 0 deletions
diff --git a/scripts/find_dots_no_parens.sh b/scripts/find_dots_no_parens.sh
new file mode 100755
index 0000000..79d1c32
--- /dev/null
+++ b/scripts/find_dots_no_parens.sh
@@ -0,0 +1,82 @@
+#!/bin/sh
+#
+# find_dot_no_parens.sh
+#
+# Look for function names after /^.[BIR]/ that aren't
+# followed by "()".
+#
+# This script is designed to help with "by hand" tidy-ups after
+# the automated changes made by add_parens_for_own_funcs.sh.
+#
+# The first argument to this script names a manual page directory where 
+# 'man2' and 'man3' subdirectories can be found.  The pages names in 
+# these directories are used to generate a series of regular expressions 
+# that can be used to search the manual page files that are named in 
+# the remaining command-line arguments.
+#
+# Example usage: 
+#
+#    cd man-pages-x.yy
+#    sh find_dots_no_parens.sh . man?/*.? > matches.log
+#
+######################################################################
+#
+# (C) Copyright 2005 & 2013, Michael Kerrisk
+# This program is free software; you can redistribute it and/or
+# modify it under the terms of the GNU General Public License
+# as published by the Free Software Foundation; either version 2
+# of the License, or (at your option) any later version.
+# 
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details
+# (http://www.gnu.org/licenses/gpl-2.0.html).
+#
+
+if test $# -lt 2; then
+    echo "Usage: $0 man-page-root-dir file file..." 1>&2
+    exit 1
+fi
+
+dir=$1
+
+if ! test -d $dir/man2 || ! test -d $dir/man3; then
+    echo "Can't find man2 and man3 under $dir" 1>&2
+    exit 1
+fi
+
+shift 1
+
+echo "This will take probably a few moments..." 1>&2
+
+awk_script_file=tmp.$0.awk
+rm -f $awk_script_file
+
+# We grep out a few page names that are likely to generate false 
+# positives...
+
+echo '{' >> $awk_script_file
+echo '    myvar = $2;' >> $awk_script_file
+echo '    gsub("[^a-z_0-9]*$", "", myvar);' >> $awk_script_file
+echo '    if ( myvar == "NOMATCHESFORTHIS" || ' >> $awk_script_file
+
+for page in $(
+
+	find $dir/man2/* $dir/man3/* -type f -name '*.[23]' | 
+	egrep -v '/(stderr|stdin|stdout|errno|termios|string)\..$'); do
+    
+    base=$(basename $page | sed -e 's/\.[23]$//')
+    echo "        myvar == \"$base\" ||" >> $awk_script_file
+
+done
+
+echo '        myvar == "NOMATCHESFORTHIS" )' >> $awk_script_file
+echo '    print $0' >> $awk_script_file
+echo '}' >> $awk_script_file
+
+grep '^\.[BRI][BRI]* [a-zA-Z0-9_][a-zA-Z0-9_]*[^a-zA-Z_]*$' $* | 
+	awk -f $awk_script_file | grep -v '([0-9]*)'
+
+rm -f $awk_script_file
+exit 0