include manual and faq sources; distribute PDF instead of PostScript