1 /* Copyright (c) 1985 Ceriel J.H. Jacobs */
13 PUBLIC
jmp_buf SetJmpBuf
;
14 PUBLIC
int DoneSetJmp
;
16 PUBLIC
int stdf
; /* input file descriptor */
17 PUBLIC
int filecount
; /* index in filename table */
18 PUBLIC
char ** filenames
; /* the filenametable */
19 PUBLIC
char * currentfile
; /* Name of current file */
20 PUBLIC
long maxpos
; /* Size of file */
25 * char *fn; name of file to be visited
27 * Opens the file "fn" and gives an error message if this fails.
32 * void processfiles(n,argv)
33 * int n; number of files to be handled
34 * char ** argv; names of the files
36 * Does all the work according to the divide and conquer method
44 * Visits n'th next file. If not there in argument list, return 1.