fix dist after Martin

diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake
index 3cbd633..82aa431 100644 (file)
--- a/tools/cmake/DefinePackages.cmake
+++ b/tools/cmake/DefinePackages.cmake
@@ -997,10 +997,8 @@ set(txt_files
   COPYING
   README.md
   ChangeLog
   COPYING
   README.md
   ChangeLog

-  INSTALL

   LICENSE-LGPL-2.1
   NEWS
   LICENSE-LGPL-2.1
   NEWS

-  TODO

   )
 
 # The list of cmake build directories is constructed from the following list.
   )
 
 # The list of cmake build directories is constructed from the following list.