diff options
author | John MacFarlane <jgm@berkeley.edu> | 2014-11-29 16:32:11 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2014-11-29 16:32:37 -0800 |
commit | e466700c9744dd361b4fb17f93382449a8a6a166 (patch) | |
tree | 98e9d93a862be690db618f61bf61c7c1c9707491 /man | |
parent | e7efe2af56ceae5df00f23bb6090c81bb734bb5c (diff) |
Changed name of man target to 'manpages'.
Diffstat (limited to 'man')
-rw-r--r-- | man/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/CMakeLists.txt b/man/CMakeLists.txt index 29bb19c..ddffc8d 100644 --- a/man/CMakeLists.txt +++ b/man/CMakeLists.txt @@ -1,7 +1,7 @@ set(MANDEST ${CMAKE_CURRENT_BINARY_DIR}) file(MAKE_DIRECTORY ${MANDEST}/man1) -add_custom_target(doc ALL +add_custom_target(manpages ALL DEPENDS ${MANDEST}/man1/cmark.1 ) |