bug#60607: Making dvi target do nothing

2023-01-08 Thread Karl Berry
Thanks. Pushed. -k

bug#60607: Making dvi target do nothing

2023-01-08 Thread Reuben Thomas via Bug reports for Automake
On Sun, 8 Jan 2023 at 00:23, Karl Berry wrote: > How does this change to the doc look? --thanks, karl. > Thanks for this Karl; it certainly fixes the problem I had! (I'll leave the assessment of technical accuracy to others.) -- https://rrt.sc3d.org