diff options
Diffstat (limited to 'Build/source/texk/seetexk/dvitodvi.c')
-rw-r--r-- | Build/source/texk/seetexk/dvitodvi.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Build/source/texk/seetexk/dvitodvi.c b/Build/source/texk/seetexk/dvitodvi.c index d453bf746e1..a91aa0c4045 100644 --- a/Build/source/texk/seetexk/dvitodvi.c +++ b/Build/source/texk/seetexk/dvitodvi.c @@ -81,7 +81,7 @@ i32 NextOutputFontIndex; /* generates output indicies */ i32 CurrentFontIndex; /* current (old) index in input */ i32 OutputFontIndex; /* current (new) index in ouput */ -char *DVIFileName; /* name of input DVI file */ +const char *DVIFileName; /* name of input DVI file */ FILE *inf; /* the input file itself */ FILE *outf; /* the output DVI file */ @@ -355,7 +355,7 @@ singledimen(char *str) * long line wraps. */ static void -message(int space, char *str, int len) +message(int space, const char *str, int len) { static int beenhere; static int col; @@ -1096,7 +1096,7 @@ PutEmptyPage(void) PutLong(outf, StartOfLastPage); putbyte(outf, DVI_EOP); if (!SFlag) { /* write nice page usage messages */ - char *msg = "[*]"; + const char *msg = "[*]"; message(1, msg, strlen(msg)); } if (ferror(outf)) |