b5b6952
diff -ur ppl-0.10.1/Watchdog/doc/Makefile.in ppl-0.10.1-patched/Watchdog/doc/Makefile.in
b5b6952
--- ppl-0.10.1/Watchdog/doc/Makefile.in	2000-04-11 10:36:59.000000000 +0100
b5b6952
+++ ppl-0.10.1-patched/Watchdog/doc/Makefile.in	2009-04-11 17:53:10.000000000 +0100
b5b6952
@@ -163,7 +163,7 @@
b5b6952
 debug_flag = @debug_flag@
b5b6952
 
b5b6952
 # All the documentation in docdir.
b5b6952
-docdir = @docdir@
b5b6952
+docdir = @docdir@/pwl
b5b6952
 dvidir = @dvidir@
b5b6952
 exec_prefix = @exec_prefix@
b5b6952
 host = @host@