Fix r521031 to correctly handle the case when texinfo is already installed
but INFO is off.
Description
Description
Details
Details
- Provenance
marius Authored on - Parents
- rP521227: - Update to 2.02
- Branches
- Unknown
- Tags
Fix r521031 to correctly handle the case when texinfo is already installed Tags None Referenced Files None Subscribers None |