summaryrefslogtreecommitdiff
path: root/Build/source
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source')
-rw-r--r--Build/source/texk/seetexk/dvibook.c2
-rw-r--r--Build/source/texk/seetexk/dvitodvi.c2
2 files changed, 0 insertions, 4 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
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.