Fix removal of /usr/share/info.
- The GNU as manual is named as.info.gz.
- Remove the generated /usr/share/info/dir file.
Description
Description
Details
Details
- Provenance
jhb Authored on - Parents
- rS315085: Simplify the control flow and tidy up a comment in map_insert.
- Branches
- Unknown
- Tags