diff options
| author | brian m. carlson <sandals@crustytoothpaste.net> | 2017-01-22 02:41:53 +0000 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2017-01-23 10:56:52 -0800 |
| commit | c4abba43554228a8c6e3082e7da7f0993c2d6b4b (patch) | |
| tree | 5c33292b53f4d810c67791e64b7e5e03e911bcb1 | |
| parent | a7e1b15c5492c0d5da1187ed6d7a81270a1ec339 (diff) | |
| download | git-c4abba43554228a8c6e3082e7da7f0993c2d6b4b.tar.gz git-c4abba43554228a8c6e3082e7da7f0993c2d6b4b.tar.xz | |
Documentation: sort sources for gitman.texi
Sorting the sources makes it easier to compare the output using diff.
In addition, it aids groups creating reproducible builds, as the order
of the files is no longer dependent on the file system or other
irrelevant factors.
Signed-off-by: brian m. carlson <sandals@crustytoothpaste.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
| -rw-r--r-- | Documentation/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index b43d66eae..5e32bbe91 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -373,7 +373,7 @@ user-manual.pdf: user-manual.xml gitman.texi: $(MAN_XML) cat-texi.perl $(QUIET_DB2TEXI)$(RM) $@+ $@ && \ - ($(foreach xml,$(MAN_XML),$(DOCBOOK2X_TEXI) --encoding=UTF-8 \ + ($(foreach xml,$(sort $(MAN_XML)),$(DOCBOOK2X_TEXI) --encoding=UTF-8 \ --to-stdout $(xml) &&) true) > $@++ && \ $(PERL_PATH) cat-texi.perl $@ <$@++ >$@+ && \ rm $@++ && \ |