diff options
author | Norbert Preining <norbert@preining.info> | 2023-12-14 03:02:23 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2023-12-14 03:02:23 +0000 |
commit | 08c9c5238d01d9b5949ae48f659d06da1665734a (patch) | |
tree | 63b543e4ccfe2e5d2a5dc0620477baa22b40b358 /fonts/modes/GNUmakefile | |
parent | f914c275329785103a123c35a5d1e5db321c7adf (diff) |
CTAN sync 202312140302
Diffstat (limited to 'fonts/modes/GNUmakefile')
-rw-r--r-- | fonts/modes/GNUmakefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/fonts/modes/GNUmakefile b/fonts/modes/GNUmakefile index 6afbdd60d3..a953017ffb 100644 --- a/fonts/modes/GNUmakefile +++ b/fonts/modes/GNUmakefile @@ -1,7 +1,7 @@ -# $Id: GNUmakefile,v 1.6 2020/09/08 22:13:43 karl Exp $ +# $Id: GNUmakefile,v 1.7 2023/12/12 22:47:56 karl Exp $ # Makefile for the mode_def collection. Public domain. -version = 4.2 +version = 4.3 default: check @@ -100,7 +100,7 @@ check-mktextfm: # xerox info if requested: tftopl ./logo10.tfm | fgrep CODING # This will fail unless the new mktextfm is in PATH, and -# unless the correct modes.mf is compiled into mf.base,. +# unless the correct modes.mf is compiled into mf.base. # It seems like overkill to have a new option to mktextfm so we can # specify a fake mf, something like "inimf \input plain \input modes ...". # We'll just test after installation. |