diff options
Diffstat (limited to 'Build/source/texk/dvipsk/protos.h')
-rw-r--r-- | Build/source/texk/dvipsk/protos.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Build/source/texk/dvipsk/protos.h b/Build/source/texk/dvipsk/protos.h index 0457b9f86d4..1cc8b8ba090 100644 --- a/Build/source/texk/dvipsk/protos.h +++ b/Build/source/texk/dvipsk/protos.h @@ -1,5 +1,7 @@ #ifndef _PROTOS_H_ +/* see dvips.h for copyright notice */ + #define _PROTOS_H_ /* some types need declaration before being used */ @@ -258,6 +260,7 @@ extern int pagecounter; #endif /* global variables from dvips.c */ +extern int found_problems; extern char *downloadedpsnames[]; extern int unused_top_of_psnames; extern fontdesctype *fonthead; |