summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/omegafonts/omfonts.h
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/omegafonts/omfonts.h')
-rw-r--r--Build/source/texk/web2c/omegafonts/omfonts.h1
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;