Update release procedure document with more info
treef012c3ec24bbccd33028fe92986c018c34a48c98
-rw-r--r-- 30277 comparison.html
-rw-r--r-- 9326 favicon.ico
-rw-r--r-- 16653 index.html
-rw-r--r-- 2658 logo.png
-rw-r--r-- 1697 mantis_notes.txt
-rw-r--r-- 1573 pngfix.js
-rw-r--r-- 420 quote-left.png
-rw-r--r-- 417 quote-right.png
-rw-r--r-- 2708 release.txt
drwxr-xr-x - releases
-rw-r--r-- 3246 style.css
-rw-r--r-- 2911 toc-gen.js