17/05/2013 11:06, Olivier MATZ : > On 05/07/2013 05:17 PM, Thomas Monjalon wrote: > > The macro maketxt allow to interpret syntax "# make foo" while keeping > > indentation of the source document. > > Here, it is used to call "make showconfigs" to list available targets. > [..] > > +define maketxt > > + sed 's,^\([[:space:]]*\)# make \(.*\),make -rRs \2 | sed "s/^/\1/",e' $1 > > +endef > > I think the "maketxt" macro is overkill... why not just a "cat" ?
Because the syntax "# make" is interpreted. With build-sdk-quick.txt, it lists all available configurations. Maybe I should add a comment before the macro to explain it. -- Thomas