Re: make info fails without preceding make doc

bug-lilypond

From:	Federico Bruni
Subject:	Re: make info fails without preceding make doc
Date:	Wed, 22 Sep 2021 13:36:22 +0200

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 somewhatsurprising
that it should not have been implied by "make clean".


IIRC it's implied by make distclean

Current Thread

[Next in Thread]

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, 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 <=
    - 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, 2021/09/22