A small header for making a mirror of dvipsed files. This package was implemented by BOP. See also dvips.