Remove pdf target from Makefiles

It was only used for user-manual.pdf which was created with dblatex
using a different style than was used for user-manual.html and so
these two lines had to be maintained separately.