- @echo '********' Warning: the directory where the C front-end is installed,
- @echo '********' Warning: and re-run configure if it does not.
+ @echo '********' Warning: the directory where the C front-end is
+ @echo '********' Warning: installed,and re-run configure if it does not.