From: Lady <redacted>
Date: Mon, 22 Jan 2024 00:44:23 +0000 (-0500)
Subject: Add uninstall command; fix other phonies
X-Git-Tag: 0.4.3~4
X-Git-Url: https://git.ladys.computer/Shushe/commitdiff_plain/964a6521326c8630f5589de971afaac5f6d68870?hp=964a6521326c8630f5589de971afaac5f6d68870

Add uninstall command; fix other phonies

`make uninstall` can now be used to remove (only) installed files. Note
that it only removes files which correspond to presently‐extant source
files; if a source is removed, then `make uninstall` will not remove
any previously‐installed derivatives.

`make all` used to compile assets, but this is unnecessary.

`make clean` now guards against `BUILDDIR` being empty (which would
otherwise result in a dangerous `rm -rf /`).
---