diff options
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: |