Enable PDF build of Userguide

Submitted this change previously but it seems it got clobbered by 0826e5c