diff options
Diffstat (limited to 'java/jikes/files/patch-aa')
| -rw-r--r-- | java/jikes/files/patch-aa | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/java/jikes/files/patch-aa b/java/jikes/files/patch-aa index 78ec8a8189d9..620d436c157a 100644 --- a/java/jikes/files/patch-aa +++ b/java/jikes/files/patch-aa @@ -1,11 +1,11 @@ ---- doc/Makefile.in.orig Mon Jul 31 15:54:07 2000 -+++ doc/Makefile.in Mon Jul 31 15:54:21 2000 +--- doc/Makefile.in Tue Jul 9 23:16:00 2002 ++++ doc/Makefile.in Mon Aug 5 11:02:39 2002 @@ -80,7 +80,7 @@ - + install_sh = @install_sh@ man_MANS = jikes.1 -docdir = $(prefix)/doc/${PACKAGE}-${VERSION} +docdir = $(prefix)/share/doc/${PACKAGE}-${VERSION} doc_DATA = \ - contrib.html \ + license.htm |