diff options
| author |  Benoit Jacob <jacob.benoit.1@gmail.com> | 2008-08-27 06:43:42 +0000 |
|---|---|---|
| committer | Benoit Jacob <jacob.benoit.1@gmail.com> | 2008-08-27 06:43:42 +0000 |
| commit | 252e0c45b26768f8f88cb10b43a79494870c4980 (patch) | |
| tree | 56f1c5eeb4b535846506e30c1fceebd881555418 /doc/CMakeLists.txt | |
| parent | a0cfe6ebdc0a55bfb8d0631bd786cd5023d5258d (diff) | |
* missing cmake make_directory command
* show svn revision number if available
* fix warnings about unused argc/argv
Gael: I just saw your latest docs, it's completely awesome.
Diffstat (limited to 'doc/CMakeLists.txt')
| -rw-r--r-- | doc/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt index 36d65efbb..e2a31978c 100644 --- a/doc/CMakeLists.txt +++ b/doc/CMakeLists.txt @@ -31,6 +31,7 @@ ADD_SUBDIRECTORY(snippets) ADD_CUSTOM_TARGET( doc ALL + COMMAND ${CMAKE_COMMAND} -E make_directory ${CMAKE_CURRENT_BINARY_DIR}/html/ COMMAND ${CMAKE_COMMAND} -E copy ${CMAKE_CURRENT_SOURCE_DIR}/eigendoxy_tabs.css ${CMAKE_CURRENT_BINARY_DIR}/html/ COMMAND ${CMAKE_COMMAND} -E copy ${CMAKE_CURRENT_SOURCE_DIR}/Eigen_Silly_Professor_64x64.png |