Index: README.release
===================================================================
diff -u -r9f90d6b1ce7bfabedbda9470cb71fa368a64531c -r630319dd9908c74434b74d5e345e713a50d5b0c7
--- README.release	(.../README.release)	(revision 9f90d6b1ce7bfabedbda9470cb71fa368a64531c)
+++ README.release	(.../README.release)	(revision 630319dd9908c74434b74d5e345e713a50d5b0c7)
@@ -19,13 +19,19 @@
          make "CC=clang" test
        * run static analysis:
          cppcheck --enable=all -DNDEBUG *.c
-
 	 /opt/local/bin/scan-build-mp-3.7 -enable-checker alpha make
-
        * 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