On 10 December 2017 at 15:33, Bruno Haible <[email protected]> wrote: > Hi Reuben, > > I wrote: > > The trick to use --makefile-name in order to add some tweaks is > > currently undocumented. It would deserve to be documented > > I've now added this documentation. >
Thanks very much. I had prepared a patch for this (not submitted), but yours is much better. -- https://rrt.sc3d.org
