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/analysis/bash/download-multi-try | |
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/analysis/bash/download-multi-try')
0 files changed, 0 insertions, 0 deletions