diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-07-07 22:34:44 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-07-07 22:34:44 +0100 |
commit | 2a1637a5c849e2a49fc697f52eaf32439dbc26cf (patch) | |
tree | 20a8546835964b02f6135014255df08dc8ca4e6c /reproduce/software/config/installation | |
parent | db322d5bfef46f3b7ad11d3c8b26f45f5ec1dc1a (diff) |
Texinfo installed as a dependency of M4
While testing on a system with no Texinfo, we noticed that M4 depends on
Texinfo. To fix this problem, with this commit, it is now included in the
pipeline.
While doing a clean build, a few minor issues were also found and corrected
in the other rules.
Diffstat (limited to 'reproduce/software/config/installation')
-rw-r--r-- | reproduce/software/config/installation/versions.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/reproduce/software/config/installation/versions.mk b/reproduce/software/config/installation/versions.mk index 61f7879..1f862ba 100644 --- a/reproduce/software/config/installation/versions.mk +++ b/reproduce/software/config/installation/versions.mk @@ -52,6 +52,7 @@ pkgconfig-version = 0.29.2 readline-version = 8.0 sed-version = 4.7 tar-version = 1.32 +texinfo-version = 6.6 unzip-version = 6.0 wget-version = 1.20.3 which-version = 2.21 |