summaryrefslogtreecommitdiff
path: root/Build/source/texk/seetexk/dvibook.c
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/seetexk/dvibook.c')
-rw-r--r--Build/source/texk/seetexk/dvibook.c2
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