diff options
Diffstat (limited to 'Build/source/texk/dvi2tty/dvi2tty.h')
-rw-r--r-- | Build/source/texk/dvi2tty/dvi2tty.h | 12 |
1 files changed, 2 insertions, 10 deletions
diff --git a/Build/source/texk/dvi2tty/dvi2tty.h b/Build/source/texk/dvi2tty/dvi2tty.h index baa965f4fe9..1a0362df040 100644 --- a/Build/source/texk/dvi2tty/dvi2tty.h +++ b/Build/source/texk/dvi2tty/dvi2tty.h @@ -86,23 +86,15 @@ extern FILE *output; /* output file (dvi2tty.c) */ /*---------------------------------------------------------------------------*/ /* dvi2tty.c */ -#if defined(KPATHSEA) -void errorexit P1H(int); -#else -#if defined(MSDOS) +#if defined(KPATHSEA) || defined(MSDOS) void errorexit(int); #else void errorexit(); #endif -#endif /* dvistuff.c */ -#if defined(KPATHSEA) -void dvimain P1H(void); -#else -#if defined(MSDOS) +#if defined(KPATHSEA) || defined(MSDOS) void dvimain(void); #else void dvimain(); #endif -#endif |