diff options
Diffstat (limited to 'muse/doc/man/de/CMakeLists.txt')
-rw-r--r-- | muse/doc/man/de/CMakeLists.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/muse/doc/man/de/CMakeLists.txt b/muse/doc/man/de/CMakeLists.txt index 6b64a5ea..d5e13e76 100644 --- a/muse/doc/man/de/CMakeLists.txt +++ b/muse/doc/man/de/CMakeLists.txt @@ -44,3 +44,9 @@ set (extraClean man-de.log man-de.tmp man-de.tuo man-de.tui set_directory_properties( PROPERTIES ADDITIONAL_MAKE_CLEAN_FILES "${extraClean}" ) + +configure_file( + ${CMAKE_CURRENT_SOURCE_DIR}/figurepath.tex.in + ${CMAKE_CURRENT_BINARY_DIR}/figurepath.tex + ) + |