makeinfo --plaintext

[Peter O'Gorman]

Is there any reason to use --plaintext, it causes bootstrap to fail with 
texinfo 4.6 (well, actually bootstrap succeeds, but the make command used 
during bootstrap fails, bootstrap doees not notice). --no-headers appears to 
produce identical output and works with 4.6.

Peter