fixing 'make dist' issues
authorChristian Grothoff <christian@grothoff.org>
Tue, 12 Feb 2019 23:43:46 +0000 (00:43 +0100)
committerChristian Grothoff <christian@grothoff.org>
Tue, 12 Feb 2019 23:43:46 +0000 (00:43 +0100)
commit789340811b80653d550a15932c7e8fcdbdcde459
treea7090ec484bd32c852cc3d25c1135fb0346a4d1f
parent9363107861e2702815b97bc71c8684d55f8f3274
fixing 'make dist' issues
src/include/Makefile.am