On 06/30/2012 06:04 PM, Jim Meyering wrote: > > How about this? > > texi: clean up after texi2dvi --build-dir=... in $(SUBDIRS) > This would have been better, but I have already pushed the patch :-(
Stefano
On 06/30/2012 06:04 PM, Jim Meyering wrote: > > How about this? > > texi: clean up after texi2dvi --build-dir=... in $(SUBDIRS) > This would have been better, but I have already pushed the patch :-(
Stefano