1# This file lists files which don't go into the distribution. In contrast 2# to files.nodist, this is not because one has decided not to distribute 3# these files, but rather because it's undecided -- most likely because 4# the committer forgot to add the information. So if ``make dist'' barfs, 5# add a pattern to this file so that it eventually only prints a warning. 6# The normal situation is to have an empty file here. 7