Re: #961764: texi2html: texi2html embeds User and Date information in generated .html files

2020-11-15 Thread Vagrant Cascadian
On 2020-11-15, Vagrant Cascadian wrote: > On 2020-05-28, Vagrant Cascadian wrote: >> Files generated by texi2html often embed the build user and build date. ... > I've tested the attached a simpler one-line patch that removes the > default user value rather than the entire code handling user and da

Re: #961764: texi2html: texi2html embeds User and Date information in generated .html files

2020-11-15 Thread Vagrant Cascadian
On 2020-05-28, Vagrant Cascadian wrote: > Files generated by texi2html often embed the build user and build date. It turns out the build date used respects SOURCE_DATE_EPOCH, so the date is not a big issue. > The attached patch removes the code which embeds the build date and > build user in ord