doc: Distribute doc/pspp.xml, so that users don't need makeinfo or xmllint.
[pspp] / src / .gitignore
1 Makefile
2 Makefile.in