Change docbook -> PDF toolchain for C manual.

Maybe only temporarily. Would need a more modern solution,
need to look at Publican (https://fedorahosted.org/publican/).