1.1 --- a/devel/are-options-documented	Thu Jul 14 14:12:32 2011 +0200
     1.2 +++ b/devel/are-options-documented	Sun Sep 04 10:14:36 2011 +0200
     1.3 @@ -16,6 +16,7 @@
     1.4  cat src/conf.c | grep 'lval,.*"' |
     1.5      sed 's,[^"]*",,; s,"\, [0-9]*,",; s,".*,,' | sort -u >"$code"
     1.6  
     1.7 -diff -U 0 "$code" "$docs" | grep -v '^@@'
     1.8 +diff -U 0 "$code" "$docs" | grep -v '^@@' |
     1.9 +    sed 's/^---.*/--- code/;s/^+++.*/+++ docs/'
    1.10  
    1.11  rm -f "$docs" "$code"