Archie Cobbs cc9eb3cfa5 Jikes comes with its own man page now, so install that one instead ... of the placeholder man page.		1999-09-27 18:52:36 +00:00
..
patch-aa	Jikes comes with its own man page now, so install that one instead	1999-09-27 18:52:36 +00:00