I'm having trouble building refman.pdf. Although I can create a pdf manual, it 
lacks the page links, source references, and who know what more. What version 
of pdflatex is used to build it?

-- 

	Felipe Sateler