blob: 994831b1e1bf748fbea33c1df967d5b4f5c3756a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
#=============================================================================
# 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 man-de.tex)
add_custom_command (
OUTPUT ${CMAKE_CURRENT_BINARY_DIR}/man-de.pdf
DEPENDS
${CMAKE_CURRENT_SOURCE_DIR}/man-de.tex
${CMAKE_CURRENT_SOURCE_DIR}/projekte.tex
COMMAND ${TEXEXEC_PATH}/texexec
ARGS --language=en --verbose --batch --pdf --result=man-de.pdf man-de.tex
)
add_custom_target ( man-de ALL
DEPENDS ${CMAKE_CURRENT_BINARY_DIR}/man-de.pdf
)
install_files ( /share/${MusE_INSTALL_NAME}/doc/ .pdf
${CMAKE_CURRENT_SOURCE_DIR}/man-de.pdf )
set (extraClean man-de.log man-de.tmp man-de.tuo man-de.tui
man-de-mpgraph.mp mpgraph.mp )
set_directory_properties( PROPERTIES
ADDITIONAL_MAKE_CLEAN_FILES "${extraClean}"
)
|
