diff options
Diffstat (limited to 'Build/source/texk/seetexk/dvibook.c')
| -rw-r--r-- | Build/source/texk/seetexk/dvibook.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Build/source/texk/seetexk/dvibook.c b/Build/source/texk/seetexk/dvibook.c index fcca3f1cf73..d02dfe73d33 100644 --- a/Build/source/texk/seetexk/dvibook.c +++ b/Build/source/texk/seetexk/dvibook.c @@ -76,7 +76,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 */ @@ -134,7 +134,7 @@ static void PutEmptyPage(void); * 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; @@ -883,7 +883,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)) |