1 files changed, 0 insertions, 11 deletions
diff --git a/java/jikes-devel/files/patch-aa b/java/jikes-devel/files/patch-aa
deleted file mode 100644
index 620d436c157a..000000000000
--- a/java/jikes-devel/files/patch-aa
+++ /dev/null
@@ -1,11 +0,0 @@
---- 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 = \
- license.htm