diff options
Diffstat (limited to 'Build/source/texk/dvidvi/dvidvi.c')
-rw-r--r-- | Build/source/texk/dvidvi/dvidvi.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/dvidvi/dvidvi.c b/Build/source/texk/dvidvi/dvidvi.c index fb769fabc25..fa4c54cb2f4 100644 --- a/Build/source/texk/dvidvi/dvidvi.c +++ b/Build/source/texk/dvidvi/dvidvi.c @@ -138,7 +138,7 @@ const char *oname=NULL ; /* output dvi file name */ char *iname ; /* input dvi file name */ char *strings ; /* pointer of the string pool */ -char banner[] = BANNER ; /* the startup message */ +const char banner[] = BANNER ; /* the startup message */ integer inlength ; /* the length of the input dvi file */ integer postloc ; /* location of the postamble */ integer mag ; /* magnification factor */ @@ -772,7 +772,7 @@ case '?' : usage() ; break ; default: - error("! Bad option, not one of filmnqrx?") ; + error("! Bad option, not one of fijlmnpqrx?") ; } /* switch c */ } else { /* this a file name */ if (*iname == 0) { /* input file name */ |