diff options
Diffstat (limited to 'Build/source/texk/seetexk/dvitodvi.c')
| -rw-r--r-- | Build/source/texk/seetexk/dvitodvi.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Build/source/texk/seetexk/dvitodvi.c b/Build/source/texk/seetexk/dvitodvi.c index f04a43ad751..d453bf746e1 100644 --- a/Build/source/texk/seetexk/dvitodvi.c +++ b/Build/source/texk/seetexk/dvitodvi.c @@ -109,12 +109,10 @@ char writeerr[] = "error writing DVI file"; char *malloc(), *realloc(); #endif -#ifdef HAVE_PROTOTYPES static void WriteFont(struct fontinfo *fi); static void PutFontSelector(i32 index); static void ScanDVIFile(void); static void HandleDVIFile(void); -#endif /* * You may get lint warnings about sprintf's return value. |