5.12.3. File list

A list of all the generated files. Use

  @print_file_list()

to generate it. You can use this to assemble the generated files into a tar ball.