Sam Steingold wrote: > > Therefore for now, this change is better limited to your project. > > OK, how about adding an --guard_prefix option? > fixing the problem at the source (gnulib-tool) is much easier - just a > few lines. > fixing it inside clisp is a bigger task.
Feel free to do it in your locally modified copy of gnulib-tool, for the moment. Doing this change in gnulib at this moment has a 20 times bigger risk. Bruno
