From: Michael Gernoth <michael@gernoth.net>
Date: Sat, 28 Jun 2025 08:18:00 +0000 (+0200)
Subject: Remove copy of DejaVu font and prioritize helvetica
X-Git-Url: http://cvs.zerfleddert.de/cgi-bin/gitweb.cgi/micropolis/commitdiff_plain/24f95c67b704f2857e60701d53dbe03ce02133f3?hp=24f95c67b704f2857e60701d53dbe03ce02133f3

Remove copy of DejaVu font and prioritize helvetica

Dynamically adding and removing directories to/from the font-path
is a bad idea, so remove our own copy of the DejaVu font and use
Helvetica if it is available. This makes rendered fonts a bit
more bearable.
---