Added extra options to exclude symbols, and local auto-generated cross-references#397

Open

antmd wants to merge 3 commits intotomaz:masterfrom antmd:exclusions

+151-5

Commits on Aug 31, 2013

Added 'ignore-symbol' command-line switch. Added option to require a + or - leader for local auto-linked cross-references, to reduce false links.
Ant
committed
Wired in require-leader-for-local-crossrefs argument
Ant
committed
Correct command-line help for new options
Ant
committed