Solved 3 and fixed bug in publish script.

2018-02-02 10:05:12 +01:00
parent 142b4f74cf
commit 1da214e4e9
3 changed files with 439 additions and 1 deletions
--- a/ipython/publish.py
+++ b/ipython/publish.py
@@ -40,7 +40,7 @@ def render_solutions(solutions):

 def convert_solutions_to_html(solutions):
    for s in solutions:
-        if getmtime(s.html) < getmtime(s.ipynb):
+        if not os.path.isfile(s.html) or getmtime(s.html) < getmtime(s.ipynb):
            args = ["ipython", "nbconvert", s.ipynb]
            subprocess.call(args)