On 11 February 2014 10:02, Jack O'Connor <[email protected]> wrote: > The AsciiDoc file for git merge contains the following line: > >> merge results with familiar conflict markers `<<<` `===` `>>>`. > > > Which becomes the following line in "man git merge" (note the missing > spaces): > >> merge results with familiar conflict markers <<<===>>>. > > > There is also this line in the AsciiDoc file for git branch: > >> Without `-f` 'git branch' refuses to change an existing branch. > > > Which becomes the following line in "man git branch" (again, note the > missing space): > >> Without -fgit branch refuses to change an existing branch. > > > I can't figure out how to preserve the space between these formatted words, > short of inserting another printed character like a comma between them. Is > this a bug in AsciiDoc? Is there any good workaround? Thanks for your help.
Hi Jack, Asciidoc outputs the spaces in the HTML (your first example gives <code><<<</code> <code>===</code> <code>>>></code>.) but unfortunately HTML rendering ignores spaces *between* markup. You have to quote the whole sequence including spaces, eg `<<< === >>>` giving <code><<< === >>></code> which renders correctly, or add some non-blanks between the quoted text, eg Without `-f` the `git branch` refuses ... Cheers Lex > > -- Jack > > -- > You received this message because you are subscribed to the Google Groups > "asciidoc" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/asciidoc. > For more options, visit https://groups.google.com/groups/opt_out. -- You received this message because you are subscribed to the Google Groups "asciidoc" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/asciidoc. For more options, visit https://groups.google.com/groups/opt_out.
