Provides the \AtEndDvi command
