On Fri, May 04, 2018 at 02:00:26PM +0200, Hilmar Preuße wrote: > On 04.05.2018 13:38, Bill Allombert wrote: > > Hi, > > > Maybe this could be documented in the manpage? There is already: > > > > BUGS > > This version of TeX implements a number of optional extensions. > > In fact, many of these extensions conflict to a greater or lesser > > extent with the definition of TeX. When such extensions are enabled, > > the banner printed when TeX starts is changed to print TeXk instead > > of TeX. > > > Hmm, you mean we should document every difference between our TeXk and > TeX? Not sure if that should be put into a /manual/ page. > > > I think it is likely that if this bug is closed without changes, someone > > else will open it again. > > > What bug?
Sorry, I meant bug as in 'an entry in the Debian BTS' not as "a problem that need to be solved". And actually #897627 is a wishlist item. Developpers generally expect every programs that generates files with timestamp to honor SOURCE_DATE_EPOCH at some point. That tex will not implement it for legacy reason, and that etex needs to be used instead is OK, even if potentially inconvenient (if tex is hardcoded in upstream makefile). However, if this is not clearly documented, developpers might report this wishlist again and again. Cheers, Bill.
