1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
--- dviselect.c.orig 1989-11-15 13:19:15.000000000 +0100
+++ dviselect.c 2012-11-30 14:56:42.000000000 +0100
@@ -122,7 +122,6 @@
/* save some string space: we use this a lot */
char writeerr[] = "error writing DVI file";
-char *malloc(), *realloc(), *sprintf();
/*
* lint gets rather confused with the current definitions of getc and putc,
@@ -136,6 +135,9 @@
#define getc(f) (*(f)->_ptr++)
#endif
+void HandleDVIFile (void);
+void EndPage (void);
+
/*
* Return true iff the 10 \counts are one of the desired output pages.
*/
@@ -190,6 +192,7 @@
/*
* Start a page (process a DVI_BOP).
*/
+void
BeginPage()
{
register i32 *i;
@@ -243,6 +246,7 @@
/*
* End a page (process a DVI_EOP).
*/
+void
EndPage()
{
if (!ExpectEOP)
@@ -815,6 +819,7 @@
* output DVI file. We also keep track of font changes, handle font
* definitions, and perform some other housekeeping.
*/
+void
HandleDVIFile()
{
register int c, l;
|
