On Thursday 13 January 2011, Ralf Wildenhues wrote: > * Stefano Lattarini wrote on Thu, Jan 13, 2011 at 08:57:49PM CET: > > What about a middle-ground solution to ensure more coverage on > > systems lacking Texinfo? See the patch below. > > OK but you have to try it with non-GNU makes to ensure that touching > this one file only is sufficient. > Tested with FreeBSD, NetBSD and Heirloom make (having `MAKEINFO=false' in the environment). The test passed, so I pushed the patch.
Regards, Stefano
