diff options
| author | gregory guy <[email protected]> | 2018-10-27 13:04:14 +0200 |
|---|---|---|
| committer | gregory guy <[email protected]> | 2018-10-27 13:04:14 +0200 |
| commit | ededcc28b46bb4a33cddae207b95ccb8722885a4 (patch) | |
| tree | 3520ec1faed62aafb6a5052ccbf6c15ba9a46917 /doc/en/HTML/CMakeLists.txt | |
| parent | e264a83a78407ce05ba6c070fe981358f7114345 (diff) | |
| download | krename-ededcc28b46bb4a33cddae207b95ccb8722885a4.tar.gz krename-ededcc28b46bb4a33cddae207b95ccb8722885a4.zip | |
conversion to the cmake building system
Signed-off-by: gregory guy <[email protected]>
Diffstat (limited to 'doc/en/HTML/CMakeLists.txt')
| -rw-r--r-- | doc/en/HTML/CMakeLists.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/en/HTML/CMakeLists.txt b/doc/en/HTML/CMakeLists.txt new file mode 100644 index 0000000..efd0958 --- /dev/null +++ b/doc/en/HTML/CMakeLists.txt @@ -0,0 +1,4 @@ +install( + FILES index.html + DESTINATION ${HTML_INSTALL_DIR}/en/${PROJECT_NAME} +) |