diff options
author | Kaz Kylheku <kaz@kylheku.com> | 2021-07-17 19:11:20 -0700 |
---|---|---|
committer | Kaz Kylheku <kaz@kylheku.com> | 2021-07-17 19:11:20 -0700 |
commit | a5ed04c903c17da953ce89ce41c785bc605751aa (patch) | |
tree | c96c8a8fe82af872d5492222499d80460b8fe4f4 /Makefile | |
parent | 613ad713e515d0bb0c8c90426194e10501beeaa9 (diff) | |
download | txr-a5ed04c903c17da953ce89ce41c785bc605751aa.tar.gz txr-a5ed04c903c17da953ce89ce41c785bc605751aa.tar.bz2 txr-a5ed04c903c17da953ce89ce41c785bc605751aa.zip |
doc: reproducible PDF.
* Makefile (txr-manpage.pdf): If SOURCE_DATE_EPOCH exists,
then run pdf-clobber-stamps.tl.
* pdf-clobber-stamps.tl: New file.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -560,6 +560,7 @@ txr-manpage.html: txr.1 genman.txr txr-manpage.pdf: txr.1 checkman.txr $(TXR) checkman.txr $< tbl $< | pdfroff -ww -man --no-toc - > $@ + [ $$SOURCE_DATE_EPOCH ] && $(TXR) pdf-clobber-stamps.tl || true # # Special targets used by ./configure |