+2005-04-18 Georg Baum <Georg.Baum@post.rwth-aachen.de>
+
+ * text.C (parse_comment): Don't start a new paragraph for "%\n"
+
2005-04-13 Georg Baum <Georg.Baum@post.rwth-aachen.de>
* text.C (normalize_filename): new, split off from parse_text
p.skip_spaces();
}
+
/// parses a comment and outputs it to \p os.
void parse_comment(Parser & p, ostream & os, Token const & t, Context & context)
{
BOOST_ASSERT(t.cat() == catComment);
- context.check_layout(os);
if (!t.cs().empty()) {
+ context.check_layout(os);
handle_comment(os, '%' + t.cs(), context);
if (p.next_token().cat() == catNewline) {
// A newline after a comment line starts a new