Skip to content
Snippets Groups Projects
Commit 36f72b0f authored by Jonas Höppner's avatar Jonas Höppner
Browse files

Add conversion from md docfiles to html

parent 69b649c7
No related branches found
No related tags found
No related merge requests found
Pipeline #8701 failed with stages
in 27 seconds
This diff is collapsed.
...@@ -10,6 +10,7 @@ import tempfile ...@@ -10,6 +10,7 @@ import tempfile
import alphaplan_fwr import alphaplan_fwr
from datetime import datetime from datetime import datetime
from convert_md2html import convertmd2html
def md5(fname): def md5(fname):
hash_md5 = hashlib.md5() hash_md5 = hashlib.md5()
...@@ -249,7 +250,14 @@ def main(): ...@@ -249,7 +250,14 @@ def main():
if args.doc_dir is not None: if args.doc_dir is not None:
doc_files = glob.glob(os.path.join(args.doc_dir, "*.md")) 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 = os.path.splitext(f)[0] + ".html"
convertmd2html( f, fout )
html_files.append( fout)
copy_files(doc_files + html_files, "", "", output_dir, outlocal_dir)
if args.images_dir is not None: if args.images_dir is not None:
# Add some additional files to the artifacts # Add some additional files to the artifacts
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment