Fix "make dist"
author Joachim Wilke
()
committer Joachim Wilke
()
commit 50ce02e81f77b18ba21acd556f0b6a9d01c522fc
tree 5a89fa05959938d70aa58fb1eaf49b808fc3500d
parent ebc6f87a7b26206e3e9b3ec3d9a361238a633578
Fix "make dist"
Makefile