diff options
Diffstat (limited to 'src/include/htinp.H1')
| -rw-r--r-- | src/include/htinp.H1 | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/src/include/htinp.H1 b/src/include/htinp.H1 deleted file mode 100644 index dbd87d65..00000000 --- a/src/include/htinp.H1 +++ /dev/null @@ -1,18 +0,0 @@ -extern void ht2_input(void ); -extern void make_record(void ); -extern void verify_record(void ); -extern char * strCopy(char * s); -extern void print_paste_line(FILE * pfile , char * str); -extern void get_spad_output(FILE * pfile , char * command , int com_type); -extern void get_graph_output(char * command , char * pagename , int com_type); -#ifdef _HTINP_C -static void make_input_file_list(void ); -static char * make_input_file_name(char * buf , char * filename); -static char * make_paste_file_name(char * buf , char * filename); -static void make_the_input_file(UnloadedPage * page); -static void make_input_file_from_page(HyperDocPage * page); -static int inListAndNewer(char * inputFile , char * htFile); -static void print_paste(FILE * pfile , char * realcom , char * command , char * pagename , int com_type); -static void print_graph_paste(FILE * pfile , char * realcom , char * command , char * pagename , int com_type); -static void send_command(char * command , int com_type); -#endif |