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.

Attachment: signature.asc
Description: Digital signature

_______________________________________________
pspp-dev mailing list
pspp-dev@gnu.org
https://lists.gnu.org/mailman/listinfo/pspp-dev

Reply via email to