diff options
Diffstat (limited to 'audio/terminatorx/files/patch-configure')
| -rw-r--r-- | audio/terminatorx/files/patch-configure | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/audio/terminatorx/files/patch-configure b/audio/terminatorx/files/patch-configure new file mode 100644 index 000000000..67c50cb4e --- /dev/null +++ b/audio/terminatorx/files/patch-configure @@ -0,0 +1,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 |