remove outdated/unused pdf targets

- unmaintained (?)

- mostly replaced by latex pdf

- redundant (html to pdf)