summaryrefslogtreecommitdiff
path: root/man
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2014-12-24 12:48:52 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2014-12-24 12:49:15 -0700
commitba8f2c48b700a466a8cf7097d5f72d43372d4c37 (patch)
tree7dcffa9e4c7a9649b254b1cff5e4502fe2d0b902 /man
parent06138ad4c2b0246506dc5e4b406d0e9650427beb (diff)
Use python2 for man, test scripts.
Closes #251.
Diffstat (limited to 'man')
-rw-r--r--man/CMakeLists.txt4
1 files changed, 3 insertions, 1 deletions
diff --git a/man/CMakeLists.txt b/man/CMakeLists.txt
index 2c3f5ef..b37966a 100644
--- a/man/CMakeLists.txt
+++ b/man/CMakeLists.txt
@@ -1,3 +1,5 @@
+set(PYTHON python2)
+
if (NOT MSVC)
add_custom_target(man ALL
DEPENDS ${CMAKE_CURRENT_BINARY_DIR}/cmark.3
@@ -6,7 +8,7 @@ if (NOT MSVC)
add_custom_command(
OUTPUT ${CMAKE_CURRENT_BINARY_DIR}/cmark.3
DEPENDS ${CMAKE_SOURCE_DIR}/src/cmark.h
- COMMAND python ${CMAKE_CURRENT_SOURCE_DIR}/make_man_page.py
+ COMMAND ${PYTHON} ${CMAKE_CURRENT_SOURCE_DIR}/make_man_page.py
${CMAKE_SOURCE_DIR}/src/cmark.h >
${CMAKE_CURRENT_BINARY_DIR}/cmark.3
)