> From: Carnë Draug <[email protected]> > Date: Fri, 29 Apr 2011 16:22:40 +0100 > > On the texinfo manual it says which commands need to be at the start > of the line. My question is if spaces between those commands and the > start of the line are accepted. It seems that in most cases it does. > However, I found at least one (@end ignore) where it doesn't. What I > found most strange about @end ignore not accepting the space, was the > fact that the pair command @ignore is ok with having a space before. > > Here's an example of what I mean http://pastebin.com/maekJjEX The > first block is ignored. If I however add a space as in the second > ignore block, makeinfo returns the error > > Expected ` > @end ignore'. > > Is the the right behaviour? Is indentation not allowed?
It's not allowed in general; where it works, it's an implementation detail that you cannot rely upon.
