diff options
| author | Mike Frysinger <vapier@gentoo.org> | 2021-12-20 02:05:31 -0500 |
|---|---|---|
| committer | Mike Frysinger <vapier@gentoo.org> | 2022-01-22 16:07:16 -0500 |
| commit | cb803d374929b4f2800b9385e4706b18d84bb926 (patch) | |
| tree | e446921e75f4878a0efae87b24958fe6146ebab0 /config.rpath | |
| parent | 3dd8e5b615e57583f14a6020eea72b370a3c5ab4 (diff) | |
| download | gdb-cb803d374929b4f2800b9385e4706b18d84bb926.zip gdb-cb803d374929b4f2800b9385e4706b18d84bb926.tar.gz gdb-cb803d374929b4f2800b9385e4706b18d84bb926.tar.bz2 | |
bfd: rename core.texi to corefile.texi
This is a generated file name from a correspondingly named C file.
Rename it to avoid unique build rules since there's no difference
to the generated manual.
Diffstat (limited to 'config.rpath')
0 files changed, 0 insertions, 0 deletions