2013-03-27  Jeremy Bennett  <jeremy.bennett@embecosm.com>

	* config/extlib/Makefile.in: Add pdf and install-pdf targets.