diff devel/are-options-documented @ 352:4905a1d9e6a7

minor improvement of output of devel/are-options-documented
author markus schnalke <meillo@marmaro.de>
date Sun, 04 Sep 2011 10:14:36 +0200
parents 7b70bf4f1f42
children
line wrap: on
line diff
--- a/devel/are-options-documented	Thu Jul 14 14:12:32 2011 +0200
+++ b/devel/are-options-documented	Sun Sep 04 10:14:36 2011 +0200
@@ -16,6 +16,7 @@
 cat src/conf.c | grep 'lval,.*"' |
     sed 's,[^"]*",,; s,"\, [0-9]*,",; s,".*,,' | sort -u >"$code"
 
-diff -U 0 "$code" "$docs" | grep -v '^@@'
+diff -U 0 "$code" "$docs" | grep -v '^@@' |
+    sed 's/^---.*/--- code/;s/^+++.*/+++ docs/'
 
 rm -f "$docs" "$code"