From 1b7cd0044a72d2d987a2d45559f8730de5d580ab Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sat, 24 Jan 2015 21:45:28 -0800
Subject: Updated makespec.py to use `cmark` in path.

---
 tools/makespec.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools')

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)
-- 
cgit v1.2.3