This file marks the pattern rest_dvd to be installed.
