diff devel/are-options-documented @ 226:7b70bf4f1f42

renamed misc/ to devel/ because the contents are for developers
author meillo@marmaro.de
date Fri, 23 Jul 2010 11:46:08 +0200 (2010-07-23)
parents misc/are-options-documented@867bb186a829
children 4905a1d9e6a7
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/are-options-documented	Fri Jul 23 11:46:08 2010 +0200
@@ -0,0 +1,21 @@
+#!/bin/sh
+#
+# checks if all recognized options are documented
+# run from masqmail's repository root dir
+#
+# Note: this script is far from perfect, but its development time to
+#       usage value ratio is quite good :-)
+
+docs="/tmp/masqmail-opts-docs.$$"
+code="/tmp/masqmail-opts-code.$$"
+
+cat man/masqmail.*.5 | grep -o '^\\fB[^(\\]*\\f.' |
+    egrep -v 'OBSOLETE|http://' | sed 's,^\\fB,,; s,[\\ =].*,,' |
+    sort -u | grep -v '^val$' >"$docs"
+
+cat src/conf.c | grep 'lval,.*"' |
+    sed 's,[^"]*",,; s,"\, [0-9]*,",; s,".*,,' | sort -u >"$code"
+
+diff -U 0 "$code" "$docs" | grep -v '^@@'
+
+rm -f "$docs" "$code"