[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: “make doc” broken because of gs eps->pdf failing
|
From: |
Valentin Villenave |
|
Subject: |
Re: “make doc” broken because of gs eps->pdf failing |
|
Date: |
Wed, 17 Jun 2020 11:42:14 +0200 |
On 6/17/20, Valentin Villenave <valentin@villenave.net> wrote:
> Thanks for giving me hope, even for a minute :-)
I spoke too soon; running doc-clean and _then_ “make doc” indeed fixes
the problem. (And Jonas has just merged it onto master so that
problem is fixed.)
Thanks!
Cheers,
-- V.