Akim Demaille bfbd73f3e0 git: don't ignore auxiliary Texinfo files ...

As a matter of fact, I think it is wrong to gitignore generated files
that belong to the build tree.  There should be the strict minimum,
and it's up to people that build in place to adjust their own
~/.gitignore.

* doc/.gitignore: here.
Remove files we no longer produce (thanks to texi2dvi).

2018-10-20 14:12:08 +02:00

649 B

Raw Blame History

View Raw