On 11/13/2011 05:21 PM, Paul Smith wrote: > I'll look at your code today.
Any news? > I have to say that I feel that David's > point of 20 Oct is well-taken, that a more flexible command line > interface would be better. Alright. I propose to transform --output-format=(color|plain) into --format=(plain|colorized) . What do you want the parameter to look like? Best, Sebastian _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make
