gitignore update

[M]

Configuration Information [Automatically generated, do not change]:
Machine: x86_64
OS: linux-gnu
Compiler: gcc
Compilation CFLAGS: -g -O2 -DNDEBUG
uname output: Linux orange 5.15.0-46-generic #49-Ubuntu SMP Thu Aug 4
18:03:25 UTC 2022 x86_64 x86_64 x86_64 GNU/Linux
Machine Type: x86_64-pc-linux-gnu

Gawk Version: 5.3.0

Attestation 1:
I have read https://www.gnu.org/software/gawk/manual/html_node/Bugs.html.
Yes

Attestation 2:
I have not modified the sources before building gawk.
True

Description:
building gawk creates the file support/malloc/.dirstamp which is
consequently marked by git as untracked one. Can be addded to gitignore?
(maybe together with *~ files?).
In such a case, patch attached.
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...  anyway, a shred of the diff as example
is attached too.
Thanks.


Repeat-By:
pull from git and build gawk

Fix:
add .dirstamp to .gitignore (provided by gawk_gitignore.diff)





-- 
me -> http://crap0101.altervista.org/

gawk_gitignore.diff
Description: Text Data

gawk_git-diff_doc-gawk.info__after_pull_and_compile
Description: Binary data