docs/check-coverage

   1 #!/bin/sh
   2 add_h4()
   3 {
   4         sed -e 's,^\(.*\)$,<h4><a name="api:\1">\1</a></h4>,'
   5 }
   6
   7 dir=`dirname $0`
   8 sh $dir/produce-lists || exit 1
   9 cat $dir/public-api $dir/wapi > $dir/current-api
  10 for i in `cat $dir/current-api`; do
  11         if grep "api:$i" $dir/sources/mono-api-*.html > /dev/null; then
  12                 true;
  13         else
  14                 echo "Missing: $i from the template";
  15         fi
  16 done