Documentation: Correct some inappropriate uses of @xref
[pspp] / doc / manual /
2019-10-11 Ben PfaffUpdate gitignore.