diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-01-24 21:45:28 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-01-24 21:45:28 -0800 |
| commit | 1b7cd0044a72d2d987a2d45559f8730de5d580ab (patch) | |
| tree | 86a27e5888964f6c83bea966aa85a634e7a89774 /tools | |
| parent | 24d618f0ad2ebbb302cab816f4ec8ee7273056de (diff) | |
Updated makespec.py to use `cmark` in path.
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/makespec.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/makespec.py b/tools/makespec.py index b031208..ec2296d 100755 --- a/tools/makespec.py +++ b/tools/makespec.py @@ -126,7 +126,7 @@ elif specformat == "html": toclines.append(indent + '* [' + section['number'] + ' ' + section['contents'] + '](#' + section['ident'] + ')') toc = '<div id="TOC">\n\n' + '\n'.join(toclines) + '\n\n</div>\n\n' - prog = "build/src/cmark" + prog = "cmark" [retcode, result, err] = pipe_through_prog(prog, toc + mdtext) if retcode == 0: result = re.sub(r'␣', '<span class="space"> </span>', result) |