diff options
Diffstat (limited to 'Build/source/texk/seetexk/gripes.h')
-rw-r--r-- | Build/source/texk/seetexk/gripes.h | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/Build/source/texk/seetexk/gripes.h b/Build/source/texk/seetexk/gripes.h index f49a2fb4cac..cd240db381e 100644 --- a/Build/source/texk/seetexk/gripes.h +++ b/Build/source/texk/seetexk/gripes.h @@ -7,20 +7,22 @@ #include "font.h" /* for struct font */ +extern const char *DVIFileName; + /* * Declarations for the various gripes. */ -void GripeOutOfMemory(int n, char *why); -void GripeCannotGetFont(char *name, i32 mag, i32 dsz, char *dev, char *fullname); -void GripeDifferentChecksums(char *font, i32 tfmsum, i32 fontsum); +void GripeOutOfMemory(int n, const char *why); +void GripeCannotGetFont(const char *name, i32 mag, i32 dsz, const char *dev, const char *fullname); +void GripeDifferentChecksums(const char *font, i32 tfmsum, i32 fontsum); void GripeMissingFontsPreventOutput(int n); void GripeNoSuchFont(i32 n); void GripeFontAlreadyDefined(i32 n); void GripeUnexpectedDVIEOF(void); -void GripeUnexpectedOp(char *s); -void GripeMissingOp(char *s); +void GripeUnexpectedOp(const char *s); +void GripeMissingOp(const char *s); void GripeCannotFindPostamble(void); -void GripeMismatchedValue(char *s); +void GripeMismatchedValue(const char *s); void GripeUndefinedOp(int n); void GripeBadGlyph(i32 c, struct font *f); |