diff options
Diffstat (limited to 'Build/source/texk/web2c/cwebdir/comm-w2c.h')
-rw-r--r-- | Build/source/texk/web2c/cwebdir/comm-w2c.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/cwebdir/comm-w2c.h b/Build/source/texk/web2c/cwebdir/comm-w2c.h index 1046149331c..96197a49c9d 100644 --- a/Build/source/texk/web2c/cwebdir/comm-w2c.h +++ b/Build/source/texk/web2c/cwebdir/comm-w2c.h @@ -134,6 +134,7 @@ extern char file_name[][max_file_name_length]; /* stack of non-change file names */ extern char change_file_name[]; /* name of change file */ extern char check_file_name[]; /* name of |check_file| */ +extern char *found_filename; /* filename found by |kpse_find_file| */ extern int line[]; /* number of current line in the stacked files */ extern int change_line; /* number of current line in change file */ extern int change_depth; /* where \.{@@y} originated during a change */ |