diff options
Diffstat (limited to 'Build/source/texk/dvi2tty/dvi2tty.c')
-rw-r--r-- | Build/source/texk/dvi2tty/dvi2tty.c | 29 |
1 files changed, 9 insertions, 20 deletions
diff --git a/Build/source/texk/dvi2tty/dvi2tty.c b/Build/source/texk/dvi2tty/dvi2tty.c index 01094c1b8fc..ac75ba6b645 100644 --- a/Build/source/texk/dvi2tty/dvi2tty.c +++ b/Build/source/texk/dvi2tty/dvi2tty.c @@ -167,26 +167,16 @@ char optch; /* for option handling */ /*---------------------------------------------------------------------------*/ -#ifdef KPATHSEA -int main P2H(int, char **); -void setoption P1H(char *); -void getargs P1H(void); -void getpages P2H(int, char *); -void plcnxt P1H(int); -void getfname P1H(char *); -int getinteger P3H(int *, int *, char *); -void usage P1H(int); -#else -# if defined(MSDOS) -int main (int, char **); -void setoption (char *); -void getargs (void); -void getpages (int, char *); -void plcnxt (int); +#if defined(KPATHSEA) || defined(MSDOS) +int main (int, char **); +void setoption (char *); +void getargs (void); +void getpages (int, char *); +void plcnxt (int); void getfname (char *); -int getinteger(int *, int *, char *); -void usage (int); -# else +int getinteger (int *, int *, char *); +void usage (int); +#else char * getenv (); FILE * popen (); @@ -198,7 +188,6 @@ void plcnxt (); void getfname (); int getinteger(); void usage (); -# endif #endif /****************************************************************************/ |