aboutsummaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rwxr-xr-xtools/makespec.py2
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)