--- doc/Makefile.in.orig	Mon Jul 31 15:54:07 2000
+++ doc/Makefile.in	Mon Jul 31 15:54:21 2000
@@ -80,7 +80,7 @@
 
 man_MANS = jikes.1
 
-docdir = $(prefix)/doc/${PACKAGE}-${VERSION}
+docdir = $(prefix)/share/doc/${PACKAGE}-${VERSION}
 
 doc_DATA = \
 contrib.html \