debian/dmrconfig.1
