tools: Fix make dist
authorRico Tzschichholz <ricotz@t-online.de>
Fri, 15 Mar 2013 16:47:23 +0000 (17:47 +0100)
committerTim-Philipp Müller <tim@centricular.net>
Fri, 15 Mar 2013 16:49:21 +0000 (16:49 +0000)
commit7992c1c92e3745211026cdbe8d3688d46d2cb8bc
tree1798e701b3c2a4f21707bb1d0f1d724f5139db96
parentea2332c46626273b2c2fe36e1dee8e4eff2add48
tools: Fix make dist

Missing bits of b45a1df5deadb029dcbe4522f0116d34f1cd2f1e
tools/Makefile.am