Add conversion from md docfiles to html

package_release.py

@@ -9,6 +9,7 @@ import hashlib
 import tempfile
 import alphaplan_fwr
 
+from convert_md2html import convertmd2html
 
 def md5(fname):
     hash_md5 = hashlib.md5()
@@ -165,7 +166,13 @@ def main():
 
     if args.doc_dir is not None:
         doc_files = glob.glob(os.path.join(args.doc_dir, "*.md"))
-        copy_files(doc_files, "", "", output_dir, outlocal_dir)
+        html_files = []
+        for f in doc_files:
+            fout = f + ".html";
+            convertmd2html( f, fout )
+            html_files += fout
+        copy_files(doc_files + html_files, "", "", output_dir, outlocal_dir)
+
 
     if args.images_dir is not None:
         # Add some additional files to the artifacts