1 files changed, 0 insertions, 41 deletions
diff --git a/muse/doc/dimpl/CMakeLists.txt b/muse/doc/dimpl/CMakeLists.txt
deleted file mode 100644
index 9611881e..00000000
--- a/muse/doc/dimpl/CMakeLists.txt
+++ /dev/null
@@ -1,41 +0,0 @@
-#=============================================================================
-#  MusE
-#  Linux Music Editor
-#  $Id:$
-#
-#  Copyright (C) 2002-2006 by Werner Schweer and others
-#
-#  This program is free software; you can redistribute it and/or modify
-#  it under the terms of the GNU General Public License version 2.
-#
-#  This program is distributed in the hope that it will be useful,
-#  but WITHOUT ANY WARRANTY; without even the implied warranty of
-#  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-#  GNU General Public License for more details.
-#
-#  You should have received a copy of the GNU General Public License
-#  along with this program; if not, write to the Free Software
-#  Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
-#=============================================================================
-
-set (SRC dimpl.tex)
-
-add_custom_target (
-      dimpl
-      DEPENDS ${CMAKE_CURRENT_SOURCE_DIR}/dimpl.tex
-      COMMAND ${TEXEXEC_PATH}/texexec
-      ARGS  --language=en --verbose --batch --pdf
-            --result=dimpl.pdf
-            ${CMAKE_CURRENT_SOURCE_DIR}/dimpl.tex
-      WORKING_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}
-      )
-
-install_files ( /share/${MusE_INSTALL_NAME}/doc/ .pdf
-   ${CMAKE_CURRENT_BINARY_DIR}/dimpl.pdf )
-
-set (extraClean dimpl.log dimpl.tmp dimpl.tuo dimpl.tui
-   dimpl-mpgraph.mp mpgraph.mp )
-
-set_directory_properties( PROPERTIES
-   ADDITIONAL_MAKE_CLEAN_FILES "${extraClean}"
-   )