diff options
Diffstat (limited to 'Build/source/texk')
-rw-r--r-- | Build/source/texk/dvidvi/ChangeLog | 5 | ||||
-rw-r--r-- | Build/source/texk/dvidvi/dvidvi.c | 10 |
2 files changed, 5 insertions, 10 deletions
diff --git a/Build/source/texk/dvidvi/ChangeLog b/Build/source/texk/dvidvi/ChangeLog index 44c29fbb83c..94e4ebdc0bc 100644 --- a/Build/source/texk/dvidvi/ChangeLog +++ b/Build/source/texk/dvidvi/ChangeLog @@ -1,3 +1,8 @@ +2020-12-09 Akira Kakuto <kakuto@w32tex.org> + + * dvidvi.c: Remove definition of a function win32_fprintf() + which is now in Kpathsea. + 2020-05-02 TANAKA Takuji <ttk@t-lab.opal.ne.jp> * configure.ac, config.h.in, dvidvi.c: diff --git a/Build/source/texk/dvidvi/dvidvi.c b/Build/source/texk/dvidvi/dvidvi.c index 86988cce8e3..0e2b9b0f2a7 100644 --- a/Build/source/texk/dvidvi/dvidvi.c +++ b/Build/source/texk/dvidvi/dvidvi.c @@ -179,16 +179,6 @@ int prettycolumn ; /* the column we are at when running pretty */ int ptexdvi ; /* true if dvi file is extended (TATEKUMI) */ #endif -#ifdef WIN32 -void win32_fprintf(FILE *fp, const char *fmt, ...) { - va_list argp; - - va_start(argp, fmt); - win32_vfprintf(fp, fmt, argp); - va_end(argp); -} -#endif - /* * This array holds values that indicate the length of a command, if * we aren't concerned with that command (which is most of them) or |