Re: [XEN PATCH 3/3] docs: set date to SOURCE_DATE_EPOCH if available

2020-12-23 Thread Maximilian Engelhardt
On Montag, 21. Dezember 2020 10:01:14 CET Jan Beulich wrote: > On 18.12.2020 21:42, Maximilian Engelhardt wrote: > > --- a/docs/Makefile > > +++ b/docs/Makefile > > @@ -3,7 +3,13 @@ include $(XEN_ROOT)/Config.mk > > > > -include $(XEN_ROOT)/config/Docs.mk > > > > VERSION:= $(shell

Re: [XEN PATCH 3/3] docs: set date to SOURCE_DATE_EPOCH if available

2020-12-21 Thread Jan Beulich
On 18.12.2020 21:42, Maximilian Engelhardt wrote: > --- a/docs/Makefile > +++ b/docs/Makefile > @@ -3,7 +3,13 @@ include $(XEN_ROOT)/Config.mk > -include $(XEN_ROOT)/config/Docs.mk > > VERSION := $(shell $(MAKE) -C $(XEN_ROOT)/xen > --no-print-directory xenversion) > -DATE

[XEN PATCH 3/3] docs: set date to SOURCE_DATE_EPOCH if available

2020-12-18 Thread Maximilian Engelhardt
Use the solution described in [1] to replace the call to the 'date' command with a version that uses SOURCE_DATE_EPOCH if available. This is needed for reproducible builds. [1] https://reproducible-builds.org/docs/source-date-epoch/ Signed-off-by: Maximilian Engelhardt --- docs/Makefile | 8 +++