Prevent generation of pdf even if one uses safepdf

Previously there still was a dependency to build the pdf which miserably failed as we don not distribute tex files.

[[Imported from SVN: r7382]]