Actually, now we DO want to rsync doc/pdfgetx3.
Synchronized with the source at 314121b53d11423dafd058139eb9e2fcbadd6c3f.
Remove spurious .svn directories.