bug-lilypond
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: make info fails without preceding make doc


From: David Kastrup
Subject: Re: make info fails without preceding make doc
Date: Wed, 22 Sep 2021 13:58:29 +0200
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux)

Federico Bruni <fede@inventati.org> writes:

> Il giorno mar 21 set 2021 alle 22:48:04 +0200, David Kastrup
> <dak@gnu.org> ha scritto:
>> "make doc-clean" appears to work better.  I find it somewhat
>> surprising
>> that it should not have been implied by "make clean".
>
> IIRC it's implied by make distclean

Well, but distclean removes everything done by ./configure as well.
Including config.status , so I cannot do ./config.status --recheck
anymore.

-- 
David Kastrup



reply via email to

[Prev in Thread] Current Thread [Next in Thread]