diff options
| -rwxr-xr-x | post-update | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/post-update b/post-update index 0fcf5c0..98ed0a3 100755 --- a/post-update +++ b/post-update @@ -6,7 +6,7 @@ default_branch_path="$(git rev-parse --symbolic-full-name HEAD)" mkdir -p info/web if git show "$default_branch":README.md >/dev/null 2>&1; then - git show "$default_branch":README.md | tee info/web/README.md | cmark >info/web/README.html + git show "$default_branch":README.md | tee info/web/README.md | python -m markdown >info/web/README.html else if git show "$default_branch":README.html >/dev/null 2>&1; then git show "$default_branch":README.html >info/web/README.html |