> TL;DR: build a new version in its own tree, then use that as a > guide to carefully deleting the old one from /usr/local by hand.
Sounds workable. If a bit unpleasant. Thanks! > "/usr/local" sounds like it wasn't from a Debian package. Alas not. I've never actually used a Debian version: I'm using Racket for teaching, and it has it has always been *strongly* suggested that I update to the latest version and not wait for Debian to catch up. Thanks again, Norman -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/20190626194229.394267855BA%40labrador.cs.tufts.edu. For more options, visit https://groups.google.com/d/optout.
