diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-11-10 10:30:27 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-11-10 10:30:27 +0000 |
commit | 74406b49ab73cdf1b4225ec21a60616110d06c2e (patch) | |
tree | ef8ec4114e9274ebe4a375965bd67c144be0865e /Build/source/texk/seetexk/gripes.h | |
parent | ac4c4a45682b1157c58076c40c943a3d9a2cad77 (diff) |
towards TL2010: texk/seetexk
git-svn-id: svn://tug.org/texlive/trunk@15973 c570f23f-e606-0410-a88d-b1316a301751
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); |