Elijah Newren [off-list ref] writes:
No, it is not more like that; the check-ignore manpage currently claims this:
For each pathname given via the command-line or from a file via
--stdin, check whether the file is excluded by .gitignore (or
other input files to the exclude mechanism) and output the path
if it is excluded.
Thanks. I wasn't paying attention to what happened to the manpage
(or to the command for that matter) after I wrote it as a debugging
aid X-<.
The updated version looked reasonable to me. Thanks.