* util/htmlxref.d/Texinfo_nonGNU.cnf,
* util/htmlxref.d/Texinfo_GNU.cnf: update timestamps.
3 files changed