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"