27 lines
841 B
Diff
27 lines
841 B
Diff
diff -ur ppl-0.10/Watchdog/doc/Makefile.in ppl-0.10-patched/Watchdog/doc/Makefile.in
|
|
--- ppl-0.10/Watchdog/doc/Makefile.in 2008-11-04 10:36:59.000000000 +0100
|
|
+++ ppl-0.10-patched/Watchdog/doc/Makefile.in 2009-02-18 23:15:28.000000000 +0100
|
|
@@ -163,7 +163,7 @@
|
|
debug_flag = @debug_flag@
|
|
|
|
# All the documentation in docdir.
|
|
-docdir = @docdir@
|
|
+docdir = @docdir@/pwl
|
|
dvidir = @dvidir@
|
|
exec_prefix = @exec_prefix@
|
|
host = @host@
|
|
diff -ur ppl-0.10/configure ppl-0.10-patched/configure
|
|
--- ppl-0.10/configure 2008-11-04 10:37:00.000000000 +0100
|
|
+++ ppl-0.10-patched/configure 2009-02-18 22:36:56.000000000 +0100
|
|
@@ -2923,10 +2923,6 @@
|
|
PPL_CONFIGURE_OPTIONS="\"$ac_configure_args\""
|
|
|
|
|
|
-# Installation directories.
|
|
-docdir='${datadir}/doc/ppl'
|
|
-
|
|
-
|
|
# Generate a configuration header file.
|
|
ac_config_headers="$ac_config_headers config.h"
|
|
|