5.12.4. Source list

A list of all the input files. Use

  @print_source_file_list()

to generate it. This command is useful so you know what files are required for a package.