[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] maint: add texi2dvi build directory to doc/.gitignore
|
From: |
Bernhard Voelker |
|
Subject: |
Re: [PATCH] maint: add texi2dvi build directory to doc/.gitignore |
|
Date: |
Sun, 15 Mar 2020 22:52:57 +0100 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.5.0 |
On 2020-03-15 20:31, Pádraig Brady wrote:
> On 15/03/2020 10:58, Bernhard Voelker wrote:
>> * doc/.gitignore (/coreutils.t2p/): Add entry for the build directory
>> left behind after 'make pdf'.
>> While at it, sort the file.
>
> thanks!
thanks, pushed.
Have a nice day,
Berny