source files for the manual