# HG changeset patch
# User markus schnalke <meillo@marmaro.de>
# Date 1315124076 -7200
# Node ID 4905a1d9e6a79e4c37402d24bdc8ae999ce29879
# Parent  4c046561582a3de19b0b2b2c8961390df9887c52
minor improvement of output of devel/are-options-documented

diff -r 4c046561582a -r 4905a1d9e6a7 devel/are-options-documented
--- 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"