[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: |
Tue, 21 Sep 2021 22:48:04 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Jean Abou Samra <jean@abou-samra.fr> writes:
> Le 21/09/2021 à 22:03, David Kastrup a écrit :
>> Jean Abou Samra <jean@abou-samra.fr> writes:
>>
>>> Le 21/09/2021 à 21:24, David Kastrup a écrit :
>>>> I am reverting
>>>>
>>>> commit 79114c78d12a24b6089af0375dcac5b739c29a0c
>>>> Author: Jean Abou Samra <jean@abou-samra.fr>
>>>> Date: Tue Aug 31 17:49:30 2021 +0200
>>>>
>>>> Doc: Better hyphenation in PDF output for camel-case names
>>>> Node names from the Internals Reference often appear in
>>>> non-typewriter
>>>> fonts in "See also" section, where TeX would break them at ugly
>>>> places.
>>>> Autogenerate a file containing hyphenation exceptions for Texinfo to
>>>> avoid this.
>>>>
>>>> in my local tree for now. Has anybody tried this with an in-tree build?
>>> I always build in-tree.
>>>
>>>
>>>> ./autogen.sh --noconf
>>>> ./config.status --recheck
>>>> make clean
>>>>
>>>> Several times.
>>> Also with the bulldozering git clean -xdf?
>> I have enough stuff in my normal work tree that I won't.
>> If "make
>> clean" does not work, that is not what I consider useful.
>
> Have you also tried make doc-clean? Otherwise, consider
> git clean in the Documentation/ folder.
"make doc-clean" appears to work better. I find it somewhat surprising
that it should not have been implied by "make clean".
--
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 <=
- 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, 2021/09/22