1 /* inputting files to be patched */ 2 3 /* $Id: inp.h,v 1.4 1997/04/07 01:07:00 eggert Exp $ */ 4 5 XTERN LINENUM input_lines; /* how long is input file in lines */ 6 7 char const *ifetch PARAMS ((LINENUM, int, size_t *)); 8 void get_input_file PARAMS ((char const *, char const *)); 9 void re_input PARAMS ((void)); 10 void scan_input PARAMS ((char *)); 11