diff --git a/dist/release-utils.sh b/dist/release-utils.sh
index 1dc0f79eec..e12f5ee8fb 100755
--- a/dist/release-utils.sh
+++ b/dist/release-utils.sh
@@ -94,6 +94,22 @@ markdown_to_html()
    output_filename=${readme//.md/.html}
    output_filename=${output_filename//.MD/.html}
    $DIR/github-flavored-markdown.rb $readme > $output_filename  
+
+   # Now process the contributing markdown
+   cd $DIR/../
+   markdown_filename=CONTRIBUTING.md
+   echo "Processing $markdown_filename"
+   output_filename=${markdown_filename//.md/.html}
+   output_filename=${output_filename//.MD/.html}
+   $DIR/github-flavored-markdown.rb $markdown_filename > $output_filename  
+
+   # Now process the release procedure markdown
+   cd $DIR/../
+   markdown_filename=RELEASE_PROCEDURE.md
+   echo "Processing $markdown_filename"
+   output_filename=${markdown_filename//.md/.html}
+   output_filename=${output_filename//.MD/.html}
+   $DIR/github-flavored-markdown.rb $markdown_filename > $output_filename  
 }
 
 regenerate()