Subject: Re: bug#60607: Making dvi target do nothing

From: Reuben Thomas <[email-masked]>
Date: Sun, 8 Jan 2023 13:17:57 +0100

On Sun, 8 Jan 2023 at 00:23, Karl Berry <[email-masked]> 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