Remove trunk/Manuals/Docbook/repository.pdf.
- Do not version output files under trunk, they may consume lot of
space. Instead, version the files used to produced the output
files and when the output be appropriate create a tag for it.
- In the case of themes, which may consume much more space, it
could be preferable to use a tar.gz or tar.bz2 files to collect
all the theme-related files and create the tag for it (i.e.,
create the tag using the compressed version of themes-related
files, not the directory structure used to create the compressed
file).