Some comments from #pspp: jmd: This link is broken: http://pspp.benpfaff.org/~blp/pspp-documentation/20130110090102/user-manual/pspp.ps.gz blp: jmd: That's probably a gendocs bug. I don't do anything special about postscript or gzipping. I'll find out. jmd: Also, this link http://pspp.benpfaff.org/~blp/pspp-documentation/20130110090102/user-manual/pspp.dvi.gz doesn't include the images. jmd: That is also probably a gendocs bug. blp: I think that DVI files always include images by external reference, so that probably means that there'd need to be a .tar.gz for the DVI format rather than a single file to do this correctly.
I think these are both gendocs.sh problems. Do you want to report it, or shall I? J' -- PGP Public key ID: 1024D/2DE827B3 fingerprint = 8797 A26D 0854 2EAB 0285 A290 8A67 719C 2DE8 27B3 See http://keys.gnupg.net or any PGP keyserver for public key.
signature.asc
Description: Digital signature
_______________________________________________ pspp-dev mailing list pspp-dev@gnu.org https://lists.gnu.org/mailman/listinfo/pspp-dev