Index: README.release
===================================================================
diff -u -r5163190ade6f6a2abcd8b7f0265f74457557a61c -rb43b9e26b9a226944347d36193f46ca648ae82da
--- README.release	(.../README.release)	(revision 5163190ade6f6a2abcd8b7f0265f74457557a61c)
+++ README.release	(.../README.release)	(revision b43b9e26b9a226944347d36193f46ca648ae82da)
@@ -18,11 +18,19 @@
          make "CC=clang"
          make "CC=clang" test
        * run static analysis:
-         cppcheck --enable=all generic/*.c
+         cppcheck --enable=all generic/*.c	 
        * configure without --enable-development
          make install
          make install-aol
          test with naviserver/aolserver (xowiki/xowf)
+       * run Coverity (7.6.0, requires gcc 4.8):
+       	 (sudo port install gcc48)
+	 (download Coverity Build Tool from https://scan.coverity.com/download/)
+	 make clean
+	 rm -rf cov-int/
+         /usr/local/cov-analysis-macosx-7.6.0/bin/cov-build --dir cov-int make CC=gcc-mp-4.8
+	 tar czvf /tmp/nsf.tgz cov-int
+	 (upload tgz to Coverity scanner)
      * tcl 8.6: 
        * configure with --enable-development
          make test