diff options
Diffstat (limited to 'doc/cp-tools.texinfo')
-rw-r--r-- | doc/cp-tools.texinfo | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/doc/cp-tools.texinfo b/doc/cp-tools.texinfo index 0be7f540c..ec186dee7 100644 --- a/doc/cp-tools.texinfo +++ b/doc/cp-tools.texinfo @@ -20,10 +20,6 @@ Permission is granted to copy and distribute translations of this manual into an @end quotation @end copying -@ifinfo -@ifnotplaintext -@setchapternewpage on - @c Common macros to support generating man pages: @macro gcctabopt{body} @@ -35,6 +31,10 @@ Permission is granted to copy and distribute translations of this manual into an @end smallexample @end macro +@ifinfo +@ifnotplaintext +@setchapternewpage on + @dircategory GNU Libraries @direntry * Classpath Tools: (cp-tools). GNU Classpath Tools Guide @@ -2438,14 +2438,14 @@ with the header @samp{CVS ID}, you would specify: Let's say that a class javadoc comment contains @smallexample -@@cvsid $Id: cp-tools.texinfo,v 1.8 2010-06-05 20:18:00 mark Exp $ +@@cvsid $Id: cp-tools.texinfo,v 1.9 2012-03-07 15:27:27 gnu_andrew Exp $ @end smallexample Then the HTML output will contain something like @smallexample CVS ID: - $Id: cp-tools.texinfo,v 1.8 2010-06-05 20:18:00 mark Exp $ + $Id: cp-tools.texinfo,v 1.9 2012-03-07 15:27:27 gnu_andrew Exp $ @end smallexample @end table |