even though checkinstall is buggy and old, when it works it’s great.

  • Affine Connection@lemmy.world
    link
    fedilink
    English
    arrow-up
    10
    ·
    1 year ago

    Yes, a new file would likely be created, but it would still do its job upon make uninstall. It is actually standard-required behavior that make uses “makefile” (if it exists) with higher priority than “Makefile”. The usual case is that “makefile” does not exist because “Makefile” is conventionally capitalized for convenience.