# -*- makefile -*- dist_doc_DATA += COPYING