--description="$(DESCRIPTION)" \
--config-files="etc/arvados/workbench2/workbench2.example.json" \
$(WORKSPACE)/build/=$(DEST_DIR)
copy: $(DEB_FILE) $(RPM_FILE)
--description="$(DESCRIPTION)" \
--config-files="etc/arvados/workbench2/workbench2.example.json" \
$(WORKSPACE)/build/=$(DEST_DIR)
copy: $(DEB_FILE) $(RPM_FILE)