[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Texinfo 6.2 released
From: |
Karl Berry |
Subject: |
Re: Texinfo 6.2 released |
Date: |
Sat, 10 Sep 2016 21:39:05 GMT |
+ = ($ENV{SOURCE_DATE_EPOCH} ? gmtime($ENV{SOURCE_DATE_EPOCH})
FWIW, seems like SOURCE_DATE_EPOCH should be supported in (upstream) Texinfo.
At least, I can't think of a reason why not ... -k
- Texinfo 6.2 released, Gavin Smith, 2016/09/10
- Re: Texinfo 6.2 released, Norbert Preining, 2016/09/10
- Re: Texinfo 6.2 released, Gavin Smith, 2016/09/10
- Re: Texinfo 6.2 released, Norbert Preining, 2016/09/10
- Re: Texinfo 6.2 released, Gavin Smith, 2016/09/10
- Re: Texinfo 6.2 released, Norbert Preining, 2016/09/10
- Re: Texinfo 6.2 released, Norbert Preining, 2016/09/10
- Re: Texinfo 6.2 released, Norbert Preining, 2016/09/10
- Re: Texinfo 6.2 released, Norbert Preining, 2016/09/10
- Re: Texinfo 6.2 released,
Karl Berry <=
Re: Texinfo 6.2 released, Eli Zaretskii, 2016/09/10
Re: Texinfo 6.2 released, Norbert Preining, 2016/09/10
Re: Texinfo 6.2 released, Jean-Charles Malahieude, 2016/09/10