[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
- make info fails without preceding make doc, David Kastrup, 2021/09/21
- Re: make info fails without preceding make doc, David Kastrup, 2021/09/21
- Re: make info fails without preceding make doc, Jean Abou Samra, 2021/09/21
- Re: make info fails without preceding make doc, David Kastrup, 2021/09/21
- Re: make info fails without preceding make doc, Jean Abou Samra, 2021/09/21
- Re: make info fails without preceding make doc, David Kastrup, 2021/09/21
- Re: make info fails without preceding make doc, Jean Abou Samra, 2021/09/21
- Re: make info fails without preceding make doc, David Kastrup, 2021/09/21
- Re: make info fails without preceding make doc, Federico Bruni, 2021/09/22
- Re: make info fails without preceding make doc,
David Kastrup <=
- Re: make info fails without preceding make doc, David Kastrup, 2021/09/22
- Re: make info fails without preceding make doc, Jean Abou Samra, 2021/09/22