diff options
Diffstat (limited to 'polly/CMakeLists.txt')
| -rw-r--r-- | polly/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/polly/CMakeLists.txt b/polly/CMakeLists.txt index b6309acd2fb..a6d121aef60 100644 --- a/polly/CMakeLists.txt +++ b/polly/CMakeLists.txt @@ -154,6 +154,7 @@ install(DIRECTORY ${POLLY_BINARY_DIR}/include/ add_definitions( -D_GNU_SOURCE ) +add_subdirectory(docs) add_subdirectory(lib) add_subdirectory(test) add_subdirectory(tools) |
