I suggest rather than including the full 80MB source to just put a package including script to retrieve the latest version of the documentation. Il would be a tiny package and at the same time would give the possibility to get easily the up-to-date version of the document. This should alse be done for other frequenttly changed documents, with a package that retrieve from master site the up-to-date version of them. -- Leonardo Boselli Nucleo Informatico e Telematico del Dipartimento Ingegneria Civile Universita` di Firenze , V. S. Marta 3 - I-50139 Firenze tel +39 0554796431 cell +39 3488605348 fax +39 055495333 http://www.dicea.unifi.it/~leo
-- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
