On 10 January 2017 at 23:36, Hans-Bernhard Bröker <[email protected]> wrote: > Well, FWIW I've locally removed these files, relative to r7614: > > D doc/version-stnd.texi > D doc/version.texi > D gnulib/lib/arg-nonnull.h > D gnulib/lib/c++defs.h > D gnulib/lib/warn-on-use.h > D texindex/texindex.awk > D tp/Texinfo/MiscXS/lib/Makefile > D tp/Texinfo/MiscXS/lib/stddef.h > D tp/Texinfo/MiscXS/lib/wchar.h
I've removed many of the files you recommended. I haven't removed texinfo.awk yet, I need to work out what to do with it first. I think another solution could be to check in the man pages to version control, but I haven't looked at this detail.
