[arch-dev-public] /usr/share/info/dir?

I don't know what this file is, but source-highlight contains /usr/share/info/dir, which existed in my filesystem but didn't belong to any package. Looks wrong to me ...