masqmail

annotate misc/are-options-documented @ 152:dfb6143e7832

mail_dir defaults to /var/mail now hence one usually does not need to specify it in masqmail.conf
author meillo@marmaro.de
date Wed, 07 Jul 2010 13:34:19 +0200
parents
children
rev   line source
meillo@140 1 #!/bin/sh
meillo@140 2 #
meillo@140 3 # checks if all recognized options are documented
meillo@140 4 # run from masqmail's repository root dir
meillo@140 5 #
meillo@140 6 # Note: this script is far from perfect, but its development time to
meillo@140 7 # usage value ratio is quite good :-)
meillo@140 8
meillo@140 9 docs="/tmp/masqmail-opts-docs.$$"
meillo@140 10 code="/tmp/masqmail-opts-code.$$"
meillo@140 11
meillo@140 12 cat man/masqmail.*.5 | grep -o '^\\fB[^(\\]*\\f.' |
meillo@140 13 egrep -v 'OBSOLETE|http://' | sed 's,^\\fB,,; s,[\\ =].*,,' |
meillo@140 14 sort -u | grep -v '^val$' >"$docs"
meillo@140 15
meillo@140 16 cat src/conf.c | grep 'lval,.*"' |
meillo@140 17 sed 's,[^"]*",,; s,"\, [0-9]*,",; s,".*,,' | sort -u >"$code"
meillo@140 18
meillo@140 19 diff -U 0 "$code" "$docs" | grep -v '^@@'
meillo@140 20
meillo@140 21 rm -f "$docs" "$code"