PDF updates

New versions should be available within a few hours, for those languages that compiled: cs, en, fr, it & nl. If your language is missing from the list and you want the update too, please make sure it passes 'make test' before 17:00 GMT. I'm a bit in hurry today, haven't time to fix anything, and leaving the country for a few days very early tomorrow. Note that the copyright notice has somehow creeped to the first page too, and there could be some other surprises too, although I don't think anything critical. Probably caused by switching to use docbook-dsssl 1.72, but I didn't have time to investigate :( -- Jouni