summaryrefslogtreecommitdiff
path: root/Build/source/texk/dvi2tty/disdvi.c
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/dvi2tty/disdvi.c')
-rw-r--r--Build/source/texk/dvi2tty/disdvi.c35
1 files changed, 15 insertions, 20 deletions
diff --git a/Build/source/texk/dvi2tty/disdvi.c b/Build/source/texk/dvi2tty/disdvi.c
index 6a7f7cc64cc..1296f26f174 100644
--- a/Build/source/texk/dvi2tty/disdvi.c
+++ b/Build/source/texk/dvi2tty/disdvi.c
@@ -12,7 +12,9 @@
/*****************************************************************************/
+#if 0
char *disdvi = "@(#) disdvi.c 2.1 19/01/90 M.J.E. Mol (c) 1989, 1990";
+#endif
#include <stdio.h>
#include <ctype.h>
@@ -60,7 +62,7 @@ extern void preamble(void);
extern void postpostamble(void);
extern void special(int x);
extern void fontdef(int x);
-extern char *fontname(long fntnum);
+extern const char *fontname(long fntnum);
extern void printnonprint(int ch);
extern unsigned long num(int size);
extern long snum(int size);
@@ -84,9 +86,7 @@ long snum ();
/*---------------------------------------------------------------------------*/
-int main(argc, argv)
-int argc;
-char **argv;
+int main(int argc, char **argv)
{
register int opcode; /* dvi opcode */
register int i;
@@ -237,7 +237,7 @@ char **argv;
/*----------------------------------------------------------------------------*/
-void bop()
+void bop(void)
{
int i;
@@ -255,7 +255,7 @@ void bop()
/*---------------------------------------------------------------------------*/
-void postamble()
+void postamble(void)
{
printf("POST last page offset : %06ld\n", sget4());
@@ -276,7 +276,7 @@ void postamble()
} /* postamble */
-void preamble()
+void preamble(void)
{
register int i;
@@ -297,7 +297,7 @@ void preamble()
} /* preamble */
-void postpostamble()
+void postpostamble(void)
{
register int i;
@@ -318,8 +318,7 @@ void postpostamble()
-void special(x)
-register int x;
+void special(register int x)
{
register long len;
register long i;
@@ -335,8 +334,7 @@ register int x;
-void fontdef(x)
-register int x;
+void fontdef(register int x)
{
register int i;
char * name;
@@ -389,8 +387,8 @@ register int x;
-char * fontname(fntnum)
-long fntnum;
+const char *
+fontname(long fntnum)
{
font * fnt;
@@ -406,8 +404,7 @@ long fntnum;
-void printnonprint(ch)
-register int ch;
+void printnonprint(register int ch)
{
printf("Char: ");
@@ -459,8 +456,7 @@ register int ch;
-unsigned long num(size)
-register int size;
+unsigned long num(register int size)
{
register int i;
register long x = 0;
@@ -474,8 +470,7 @@ register int size;
-long snum(size)
-register int size;
+long snum(register int size)
{
register int i;
register long x = 0;