blob: 67c50cb4ee23dfd23481b7c8b9d4bb958f4f7d93 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
--- configure.orig Wed Nov 3 23:41:09 2004
+++ configure Thu Nov 4 13:35:03 2004
@@ -8456,6 +8456,8 @@
echo "${ECHO_T}Found GNOME - installing terminatorX.desktop." >&6
OPTION_GNOME="yes"
else
+ GNOMEpresent_TRUE='#'
+ GNOMEpresent_FALSE=
echo "$as_me:$LINENO: result: GNOME not found." >&5
echo "${ECHO_T}GNOME not found." >&6
fi
@@ -8594,7 +8596,7 @@
if test "$prefix" != "NONE"; then
- xml_man="\\\"$datadir/terminatorX/doc/terminatorX-manual/C/terminatorX-manual.xml\\\""
+ xml_man="\\\"$datadir/help/terminatorX/C/terminatorX.xml\\\""
else
xml_man="\\\"/usr/local/share/terminatorX/doc/terminatorX-manual/C/terminatorX-manual.xml\\\""
fi
|