Merge pull request #2064 from rubenk/fix-make-distcheck
authorRuben Kerkhof <ruben@rubenkerkhof.com>
Tue, 29 Nov 2016 14:46:52 +0000 (15:46 +0100)
committerGitHub <noreply@github.com>
Tue, 29 Nov 2016 14:46:52 +0000 (15:46 +0100)
Fix make distcheck


Trivial merge