diff options
| author | Mosè Giordano <giordano@users.noreply.github.com> | 2022-11-20 22:20:11 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-21 05:20:11 +0100 |
| commit | 9e1fef8813a4e02e0be4483366a296b4abeb2741 (patch) | |
| tree | 62bc645ff74945b58231117f113768978f5bd914 /.gitignore | |
| parent | f8a6e3ad90804cf9cbcf5bf82e038d483550cbf5 (diff) | |
| download | spack-9e1fef8813a4e02e0be4483366a296b4abeb2741.tar.gz spack-9e1fef8813a4e02e0be4483366a296b4abeb2741.tar.bz2 spack-9e1fef8813a4e02e0be4483366a296b4abeb2741.tar.xz spack-9e1fef8813a4e02e0be4483366a296b4abeb2741.zip | |
texinfo: require also `makeinfo` executable (#33370)
* texinfo: require also `makeinfo` executable
* texinfo: add versions 6.6, 6.7, 6.8
* texinfo: add `info` and `makeinfo` sanity checks
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions