diff options
Diffstat (limited to 'Build/source/texk/web2c/omegafonts/parse_ofm.c')
-rw-r--r-- | Build/source/texk/web2c/omegafonts/parse_ofm.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/omegafonts/parse_ofm.c b/Build/source/texk/web2c/omegafonts/parse_ofm.c index 04b158e41fd..7aa0dadccbc 100644 --- a/Build/source/texk/web2c/omegafonts/parse_ofm.c +++ b/Build/source/texk/web2c/omegafonts/parse_ofm.c @@ -87,6 +87,8 @@ static void ofm_organize(void); static void ofm_read_simple(void); static void ofm_read_rest(void); +boolean changed = FALSE; + void parse_ofm(boolean read_ovf) { @@ -97,6 +99,11 @@ parse_ofm(boolean read_ovf) ofm_read_rest(); if (read_ovf == TRUE) input_ovf_chars(); print_characters(read_ovf); + if (changed) { + left(); + out("COMMENT THE OFM FILE WAS BAD, SO THE DATA HAS BEEN CHANGED!"); + right(); + } } /* parse_ofm ensures that all of the header entries are consistent. |