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 /.file-metadata | |
| 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 '.file-metadata')
| -rw-r--r-- | .file-metadata | bin | 6106 -> 6106 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/.file-metadata b/.file-metadata Binary files differindex d8ef27e..22a4fab 100644 --- a/.file-metadata +++ b/.file-metadata |