Minor fixes for make distcheck
[petitboot] / INSTALL
2012-02-12 Geoff LevandConvert build to use automake