+ dh_lintian -phvirt-devconfig
+ install -m 0644 -D dev/k5login $(DEB_DESTDIR)/root/.k5login
+
+binary-install/hvirt-prodconfig::
+ # Versions of CDBS newer than ours do this for us
+ dh_lintian -phvirt-prodconfig
+ install -m 0644 -D prod/k5login $(DEB_DESTDIR)/root/.k5login