diff options
| author | Jens Schweikhardt <schweikh@schweikhardt.net> | 2025-08-26 18:46:26 +0200 |
|---|---|---|
| committer | Jens Schweikhardt <schweikh@schweikhardt.net> | 2025-08-26 18:46:26 +0200 |
| commit | 59873bd665725354b1d74e5f5f6077c47eb83280 (patch) | |
| tree | 76c6f577f6bfac5f9f2231267176798bd144fe30 /GNUmakefile | |
| parent | 868c41b6a692e7f534306d800c38ba17c4c385e2 (diff) | |
Rename Images, now with codepoint prefix for better sorting.
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/GNUmakefile b/GNUmakefile index 2562196..ba9f396 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -47,6 +47,10 @@ install: gallant.bdf gallant.fnt fi; \ fi +.PHONY: images +images: + ./make-images.sh + # Find un-sorted codepoints in gallant.src. # .PHONY: check |