tree 922c1da2c53a706dbad5b95bd74d95789d419f94
parent 6eefad4fffb4476174f7b009c724a07faba9eb32
author Benno Schulenberg <bensberg@justemail.net> 1488027907 +0100
committer Benno Schulenberg <bensberg@justemail.net> 1488027907 +0100

usage: don't mention +LINE,COLUMN as an option, because it isn't

Add its explanation as a separate paragraph.

Also: improve the argument of the --syntax option, as this is a <name>
and not merely a bundle of characters like the other <str> arguments.