gdb-12.1

2023-01-28 12:55:07 +03:00
parent d09179ac1b
commit 76b4539fb0
2 changed files with 10 additions and 2 deletions
@@ -45,6 +45,7 @@ def install():
        pisitools.remove("/usr/include/%s.h" % hea)

    pisitools.remove("/usr/share/info/bfd.info")
+    pisitools.remove("/usr/share/info/ctf-spec.info")

    shelltools.cd("..")
    pisitools.dodoc("README*", "COPYING*", "ChangeLog*")