diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2014-11-29 16:53:01 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2014-11-29 16:53:01 -0800 |
| commit | dc5345daad121be5ee38e673acd532e69d5f8e75 (patch) | |
| tree | b5a97ed8e11a206aa727ab46f6e8e531503812cd /man/CMakeLists.txt | |
| parent | e466700c9744dd361b4fb17f93382449a8a6a166 (diff) | |
Keep cmark.1 in repository, so pandoc isn't required to build.
See #224.
Diffstat (limited to 'man/CMakeLists.txt')
| -rw-r--r-- | man/CMakeLists.txt | 18 |
1 files changed, 13 insertions, 5 deletions
diff --git a/man/CMakeLists.txt b/man/CMakeLists.txt index ddffc8d..4aba777 100644 --- a/man/CMakeLists.txt +++ b/man/CMakeLists.txt @@ -5,12 +5,20 @@ add_custom_target(manpages ALL DEPENDS ${MANDEST}/man1/cmark.1 ) +# This is a temporary fallback until we get a cmark-based +# build procedure for the man pages: add_custom_command(OUTPUT ${MANDEST}/man1/cmark.1 - DEPENDS ${CMAKE_CURRENT_SOURCE_DIR}/cmark.1.md - COMMAND pandoc "-s" "-t" "man" - ${CMAKE_CURRENT_SOURCE_DIR}/cmark.1.md - -o ${MANDEST}/man1/cmark.1 - VERBATIM) + DEPENDS ${CMAKE_CURRENT_SOURCE_DIR}/man1/cmark.1 + COMMAND cp ${CMAKE_CURRENT_SOURCE_DIR}/man1/cmark.1 + ${MANDEST}/man1/cmark.1 VERBATIM +) + +# add_custom_command(OUTPUT ${MANDEST}/man1/cmark.1 +# DEPENDS ${CMAKE_CURRENT_SOURCE_DIR}/cmark.1.md +# COMMAND pandoc "-s" "-t" "man" +# ${CMAKE_CURRENT_SOURCE_DIR}/cmark.1.md +# "-o" ${MANDEST}/man1/cmark.1 +# VERBATIM) INSTALL(FILES ${MANDEST}/man1/cmark.1 DESTINATION share/man/man1) |