Damien Lespiau 62b7ea5972 build: Fix make distcheck
Some header files were split but never included in the list of source
files and thus not distributed.
2011-05-06 17:13:42 +01:00
..
2011-05-06 17:13:42 +01:00