diff options
author | Karl Berry <karl@freefriends.org> | 2020-01-30 22:19:27 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-01-30 22:19:27 +0000 |
commit | 4dffe89b683bcda47de82448c1d66dcb64d3331d (patch) | |
tree | dabae5085c934c587f5b38019cdbac8e25564653 /Master/texmf-dist/doc/fonts/modes/GNUmakefile | |
parent | 393ab3911757a076e33e1fd67ab98ca8e0755576 (diff) |
modes (30jan20)
git-svn-id: svn://tug.org/texlive/trunk@53604 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/fonts/modes/GNUmakefile')
-rw-r--r-- | Master/texmf-dist/doc/fonts/modes/GNUmakefile | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/Master/texmf-dist/doc/fonts/modes/GNUmakefile b/Master/texmf-dist/doc/fonts/modes/GNUmakefile index b7efb2baade..bcdc88586b7 100644 --- a/Master/texmf-dist/doc/fonts/modes/GNUmakefile +++ b/Master/texmf-dist/doc/fonts/modes/GNUmakefile @@ -1,7 +1,7 @@ -# $Id: GNUmakefile,v 1.3 2020/01/28 19:13:52 karl Exp $ +# $Id: GNUmakefile,v 1.4 2020/01/30 16:59:00 karl Exp $ # Makefile for the mode_def collection. Public domain. -version = 4.0 +version = 4.1 default: check @@ -78,11 +78,12 @@ cmr10.300pk logo10.2540gf test.ps cmbsy7.1200gf # Check that Xerox info is included if requested. Must use -ini because # mf.base includes modes.mf by default, and it intentionally stops # itself from being read twice. So, for development convenience, do it -# all by hand (instead of depending on modes.base and dumping a new one -# every time). +# all by hand (instead of depending on modes.base and dumping it anew +# every time). The conditional here is exactly what mktextfm does. # -checkx: - -mf -ini '\input plain; nonstopmode; input modes; mode:=cx; mode_include_extra_info; input logo10' +checkx cx: + rm -f plain.tfm + -mf -ini '\input plain; nonstopmode; input modes; mode:=cx; if known mode_include_extra_info_available: mode_include_extra_info fi; input logo10' tftopl ./plain.tfm | fgrep CODING check-mktextfm: |