Update list of source files in documentation