This package provides supplementary files for dvipsk.