Remove pdf target from Makefiles

This target was only used to create user-manual.pdf with dblatex
using a separate style definition than was used for user-manual.html.
These two style definitions had to be maintained separately and
so made improvements to user-manual.html unnecessarily hard.

Signed-off-by: Thomas Ackermann <th.acker@arcor.de>