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/bash/git-post-checkout | |
| 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/bash/git-post-checkout')
0 files changed, 0 insertions, 0 deletions