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 /Documentation/Makefile | |
parent | Documentation: remove unneeded argument in cat-texi.perl (diff) | |
download | tgif-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>
Diffstat (limited to 'Documentation/Makefile')
-rw-r--r-- | Documentation/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index b43d66eae6..5e32bbe913 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 $@++ && \ |