[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: make info fails without preceding make doc
From: |
Jean Abou Samra |
Subject: |
Re: make info fails without preceding make doc |
Date: |
Wed, 22 Sep 2021 20:57:17 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.11.0 |
Le 22/09/2021 à 14:02, David Kastrup a écrit :
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.
The dependencies are not logically missing, but
peculiarly specified. notation.texi “depends” on
internals.texi so that the process leading to
the generation of internals.texi, namely the compilation
of ly/generate-documentation.ly, also creates
the includable files notation.texi needs along
the way.
It may be possible to specify the dependencies
on the individual files hyphenation.texi,
markup-commands.tely, etc. My understanding of
the doc build is too low to even attempt that.
Those missing
dependencies will still be good for triggering failed parallel make runs
occasionally.
I think they do not cause problems with parallel builds,
but build updates.
- Re: make info fails without preceding make doc, (continued)
- 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, 2021/09/22
- Re: make info fails without preceding make doc, David Kastrup, 2021/09/22
- Re: make info fails without preceding make doc,
Jean Abou Samra <=