PDF files are not a part of the website. Yes, the web/ directory is
inside the Documentation/ directory, but it is handled a special way.
It is renewed hourly, whereas the documentation (other than the
website) and the binaries for multiple patforms are built by the Gub
system on release time only.
>> I've cherry-picked those commits. They should appear when the new stable
>> version is released (which should be any day now).
Francisco Vila. Badajoz (Spain)
www.paconet.org , www.csmbadajoz.com