> Date: Wed, 20 Mar 2013 23:28:09 GMT > From: [email protected] (Karl Berry) > Cc: [email protected] > > I guess a fix would be to change man_rule_0 so that it won't use > EXEEXT with makeinfo. > > I guess. If this doesn't work, or if there's a simpler way, let me know.
It works, thanks.
