Added sources for PDF user manual.