diff options
Diffstat (limited to 'man/make_man_page.py')
| -rw-r--r-- | man/make_man_page.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/man/make_man_page.py b/man/make_man_page.py index 2a7f9ab..e7c5f69 100644 --- a/man/make_man_page.py +++ b/man/make_man_page.py @@ -2,6 +2,8 @@ # Creates a man page from a C file. +# first argument if present is path to cmark dynamic library + # Comments beginning with `/**` are treated as Groff man, except that # 'this' is converted to \fIthis\f[], and ''this'' to \fBthis\f[]. @@ -19,9 +21,9 @@ from ctypes import CDLL, c_char_p, c_long, c_void_p sysname = platform.system() if sysname == 'Darwin': - cmark = CDLL("build/src/libcmark.dylib") + cmark = CDLL("../src/libcmark.dylib") else: - cmark = CDLL("build/src/libcmark.so") + cmark = CDLL("../src/libcmark.so") parse_document = cmark.cmark_parse_document parse_document.restype = c_void_p |