Commit 703b49b642a23c9e2b13359fed9aae654921071f

Bruno Haible 2006-08-31T13:40:57

Slightly change the output generated by --makefile-name.