[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Makefile minor issues
|
From: |
Arash Esbati |
|
Subject: |
Re: Makefile minor issues |
|
Date: |
Mon, 23 Dec 2019 21:15:39 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 |
Hi Keita,
Ikumi Keita <address@hidden> writes:
>>>>>> Ikumi Keita <address@hidden> writes:
>>
>> Does anyone have objection to (A), which effectively phases out dvi
>> format and uses pdf instead of it?
>
> I committed the proposed patch for (A). Feel free to revert it if you
> find something wrong about it.
Sorry for the late response and thanks for looking into this. I'm fine
with letting dvi go.
Best, Arash