--- doc/html/Makefile.in.orig Mon Jun 9 00:09:03 2003
+++ doc/html/Makefile.in Sun Jun 15 09:31:57 2003
@@ -216,7 +216,7 @@
xpet_LDFLAGS = @xpet_LDFLAGS@
xplus4_LDFLAGS = @xplus4_LDFLAGS@
xvic_LDFLAGS = @xvic_LDFLAGS@
-docdir = $(prefix)/lib/vice/doc
+docdir = $(prefix)/share/doc/vice
doc_DATA = \
images/navbarlogo.gif \