removed markdown library for something newer

espruino · Dec 13, 2023 · 9906675 · 9906675
1 parent 8878853
commit 9906675
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 5 deletions.
diff --git a/Makefile b/Makefile
@@ -785,7 +785,7 @@ endif
 
 docs:
 	@echo ================================== Generating Board docs
-	$(Q)python2.7 scripts/build_docs.py $(WRAPPERSOURCES) $(DEFINES) -B$(BOARD)
+	$(Q)python scripts/build_docs.py $(WRAPPERSOURCES) $(DEFINES) -B$(BOARD)
 	@echo functions.html created
 
 $(WRAPPERFILE): scripts/build_jswrapper.py $(WRAPPERSOURCES)

diff --git a/scripts/build_docs.py b/scripts/build_docs.py
@@ -14,8 +14,7 @@
 # ----------------------------------------------------------------------------------------
 
 # Needs:
-#    pip install markdown
-#    pip install markdown-urlize
+#    pip install markdown2
 #
 # See common.py -> get_jsondata for command line options
 
@@ -26,7 +25,7 @@
 import os;
 import common
 import urllib3
-import markdown
+import markdown2
 import html.entities as htmlentitydefs
 
 sys.path.append(".");
@@ -79,7 +78,7 @@ def html(s):
   htmlFile.write(s +"\n");
 
 def htmlify(d,current):
-  d = markdown.markdown(d, extensions=['mdx_urlize'], tab_length=2)
+  d = markdown2.markdown(d)
   # replace <code> with newlines with pre
   idx = d.find("<code>")
   end = d.find("</code>", idx)