if [ "z$1" == "z-o" ]
then
  cat doc/metrics.txt
  echo
fi

echo -ne "Current\t\t     C code: "
wc *.[ch]|tail -1

echo -ne "\t\t Other code: "
wc \
	depend/* \
|tail -1

