Re: [PATCH] maint: add texi2dvi build directory to doc/.gitignore

[Pádraig Brady]

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!