[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:03:36 +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 à 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.
--
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 <=
- 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, 2021/09/22