@c ***** Headings in a doc subsection *****
+@c The next macro is a dummy currently since texinfo doesn't
+@c provide a real ragged-right environment yet.
+@c
@c Don't insert an empty line after @predefined! Right now
@c it doesn't matter, but a future implementation will probably
@c add some code which needs this restriction.
@subsubheading Predefined commands
@end macro
-@c The next macro is a dummy currently since texinfo doesn't
-@c provide a real ragged-right environment yet.
-@c
@c Due to a bug in texi2html (texi2html.pl CVS versions <= 1.245)
-@c the macro must not be empty.
+@c the next macro must not be empty.
@macro endpredefined
@c