diff options
Diffstat (limited to 'Build/source/texk/seetexk/dvibook.c')
-rw-r--r-- | Build/source/texk/seetexk/dvibook.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Build/source/texk/seetexk/dvibook.c b/Build/source/texk/seetexk/dvibook.c index 0b32e97ef0d..fcca3f1cf73 100644 --- a/Build/source/texk/seetexk/dvibook.c +++ b/Build/source/texk/seetexk/dvibook.c @@ -122,14 +122,12 @@ char *malloc(), *realloc(); #endif #endif -#ifdef HAVE_PROTOTYPES static void WriteFont(struct fontinfo *fi); static void PutFontSelector(i32 index); static void ScanDVIFile(void); static void HandleDVIFile(void); static int HandlePage(void); static void PutEmptyPage(void); -#endif /* * Print a message to stderr, with an optional leading space, and handling |