Commit 14c8b8fbdbc1e3a1c16110ff0092d85916bf5173

Bruno Haible 2008-08-26T08:33:53

Avoid error message during generation of INSTALL.