[Gretl-users] PDF manual: clever suggestions wanted!

We've now (at least temporarily) standardized on PDF and plain text as the primary formats for the gretl manual (we can make both win32 compiled HTML and gnome HTML/XML, but these formats are were never properly integrated in terms of searchability and contextualization, and I really don't have time to work seriously on that). So I'm now thinking it would be a good idea to distribute the PDF manual files with gretl. The only problem is that we have four variants of these files: * English (US letter paper) * English (A4 paper) * Italian (A4) * Spanish (A4) I think it would be "bloat" to distribute all of these files with the gretl package for Windows and the gretl source package (or the rpm). We're talking about approximately 1 MB per variant. So I'm looking for clever suggestions. One thought that occurred to me is to have a "PDF server" (either at Wake Forest University or at Sourceforge), which would check the IP address of a gretl installation requesting the manual and try to determine which variant was most appropriate. Then we could do one download, after which the relevant manual files would be on the local computer. Any ideas, either (a) on how exactly to implement the above, or (b) in the form of better proposals? Allin Cottrell