On 5/10/21 7:15 PM, Alejandro Colomar (man-pages) wrote: > Hi Michael, > > On 5/10/21 3:02 AM, Michael Kerrisk (man-pages) wrote: >>> diff --git a/.gitignore b/.gitignore >>> new file mode 100644 >>> index 000000000..9eb9fc096 >>> --- /dev/null >>> +++ b/.gitignore >>> @@ -0,0 +1,13 @@ >>> +# Ignore everything new by default >>> +/* >>> + >>> +# Ignore everything in man?/ that doesn't follow conventions (e.g., tmp files) >>> +!/man?/ >>> +/man?/** >>> +!/man?/**.? >> >> Why '**'? Is '*' not sufficient in both of the above? > > You're right. '*' is sufficient. Please fix it yourself :) Okay -- patch applied, and I've tweaked. Cheers, Michael -- Michael Kerrisk Linux man-pages maintainer; http://www.kernel.org/doc/man-pages/ Linux/UNIX System Programming Training: http://man7.org/training/
