[Top][All Lists]

[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 14:02:36 +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

At any rate, the Makefile structure was already in place since I had run
autogen.sh and configure again.  If make doc then fails due to missing
generated files, that points to missing dependencies.  Those missing
dependencies will still be good for triggering failed parallel make runs

David Kastrup

reply via email to

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