[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: gitignore update
From: |
M |
Subject: |
Re: gitignore update |
Date: |
Thu, 1 Feb 2024 13:52:42 +0100 |
Perfect!
Thanks
Il gio 1 feb 2024, 13:46 <arnold@skeeve.com> ha scritto:
> Hi.
>
> I don't want to do that, as then I would not see those files when
> I do a git status. I will try to fix the build so that
> support/malloc/.dirstamp is removed the way other .dirstamp files are.
>
Perfect!
> As a side note, after a build as above, I noticed changes in doc/gawk.info
> > (essentially backward quotes has been converted to single quote), but i'm
> > not sure if it's the results of some spurious update from mine or because
> > of a different makeinfo version...
>
> You have an older version of makeinfo. You should be using the
> current one.
>
Mmm... Get it!
Thanks,
M.
>