diff options
Diffstat (limited to 'Build/source/texk/web2c/omegafonts/omfonts.h')
-rw-r--r-- | Build/source/texk/web2c/omegafonts/omfonts.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/omegafonts/omfonts.h b/Build/source/texk/web2c/omegafonts/omfonts.h index 6486c15c0c8..a22b95982d1 100644 --- a/Build/source/texk/web2c/omegafonts/omfonts.h +++ b/Build/source/texk/web2c/omegafonts/omfonts.h @@ -35,6 +35,7 @@ extern int verbose_option; extern int char_format; extern int num_format; extern int text_format; +extern int omit_ofm; extern unsigned length_ofm; extern unsigned length_ovf; |