aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2020-02-13 17:50:24 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2020-02-13 17:50:24 +0000
commit1c77635ff9cbf10adadbc11a90851f635de323af (patch)
treea5833ef0450aecf56a1aab6758be656ce7876085
parent5baaa500439481514ca173db650f7b45e4994b54 (diff)
Corrected version of Texinfo when reporting
Until now we were mistakenly reporting the version of SED instead of Texinfo. With this commit, we corrected it! This was reported by Raul Infante Sainz.
-rw-r--r--reproduce/software/make/basic.mk2
1 files changed, 1 insertions, 1 deletions
diff --git a/reproduce/software/make/basic.mk b/reproduce/software/make/basic.mk
index d8afccd..4a290b6 100644
--- a/reproduce/software/make/basic.mk
+++ b/reproduce/software/make/basic.mk
@@ -1132,7 +1132,7 @@ $(ibidir)/texinfo: | $(ibidir)/perl \
$(ibdir)/patchelf --set-rpath $(ildir) $(ibdir)/info; \
$(ibdir)/patchelf --set-rpath $(ildir) $(ibdir)/install-info; \
fi \
- && echo "GNU Texinfo $(sed-version)" > $@
+ && echo "GNU Texinfo $(texinfo-version)" > $@
$(ibidir)/which: | $(ibidir)/coreutils \
$(tdir)/which-$(which-version).tar.gz