gcj.texi: Markup for man page generation.
authorMatthias Klose <doko@debian.org>
Fri, 14 Dec 2001 22:52:17 +0000 (22:52 +0000)
committerMatthias Klose <doko@gcc.gnu.org>
Fri, 14 Dec 2001 22:52:17 +0000 (22:52 +0000)
commitf172748112d29afc2d4eddcdc68845761ad78ad9
tree7bd30c66d3067f816c575d218766130821d6dffa
parent3da33af300c4717e3a93359153a49339d2852d59
gcj.texi: Markup for man page generation.

* gcj.texi: Markup for man page generation. Document missing
options printed by <tool> --help.
Terminate description of gij's -ms option with a dot.
* Make-lang.in ($(srcdir)/java/*.1): New targets.
(java.generated-manpages java.install-man, java.uninstall,
java-maintainer-clean) Updated.

From-SVN: r48016
gcc/java/ChangeLog
gcc/java/Make-lang.in
gcc/java/gcj.texi