diff options
author | dos-reis <gdr@axiomatics.org> | 2010-08-08 17:37:46 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-08-08 17:37:46 +0000 |
commit | 13112984fd32d4684959a923497a9a476981283e (patch) | |
tree | 05c9b0a7efa76555aec9b49abf9203f4c1d462bf /src/hyper/htinp.c | |
parent | 45103d600768000e5c242fe478ff9468526bb8f6 (diff) | |
download | open-axiom-13112984fd32d4684959a923497a9a476981283e.tar.gz |
* hyper/ex2ht.c (strPrefix): Be const-correct.
* hyper/htinp.c (get_graph_output): Likewise.
(print_paste): Likewise.
(print_graph_paste): Likewise.
* hyper/initx.c (get_color): Likewise.
* hyper/keyin.c (handle_key): Likewise.
* hyper/lex.c (token_table): Likewise.
* hyper/macro.c (number): Likewise.
* hyper/mem.c (alloc_page): Likewise.
* hyper/parse-aux.c (make_special_page): Likewise.
(is_number): Likewise.
* hyper/parse-types.c (errmess): Likewise.
* lib/sockio-c.c (oa_socket_read): Cast to second argument to
appropriate type.
(oa_socket_read_byte): Likewise.
Diffstat (limited to 'src/hyper/htinp.c')
-rw-r--r-- | src/hyper/htinp.c | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/src/hyper/htinp.c b/src/hyper/htinp.c index c4a62bd5..b2065b8e 100644 --- a/src/hyper/htinp.c +++ b/src/hyper/htinp.c @@ -60,8 +60,8 @@ 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 print_paste(FILE*, char* , char*, const char*, int); +static void print_graph_paste(FILE*, char*, char* , const char*, int); static void send_command(char * command , int com_type); #define MaxInputFiles 256 @@ -406,7 +406,7 @@ get_spad_output(FILE *pfile,char *command,int com_type) * health of the viewport. We do this after the (|close|). */ void -get_graph_output(char *command,char *pagename,int com_type) +get_graph_output(char* command, const char* pagename, int com_type) { int n, i; char buf[1024]; @@ -453,7 +453,8 @@ send_command(char *command,int com_type) } static void -print_paste(FILE *pfile,char *realcom,char *command,char *pagename,int com_type) +print_paste(FILE* pfile, char* realcom, char* command, + const char* pagename, int com_type) { fprintf(pfile, "\\begin{patch}{%sPatch%d}\n", pagename, example_number); fprintf(pfile, "\\begin{paste}{%sFull%d}{%sEmpty%d}\n", @@ -480,7 +481,8 @@ print_paste(FILE *pfile,char *realcom,char *command,char *pagename,int com_type) fflush(pfile); } static void -print_graph_paste(FILE *pfile,char *realcom,char *command,char *pagename,int com_type) +print_graph_paste(FILE* pfile, char* realcom, char* command, + const char* pagename, int com_type) { fprintf(pfile, "\\begin{patch}{%sPatch%d}\n", pagename, example_number); fprintf(pfile, "\\begin{paste}{%sFull%d}{%sEmpty%d}\n", |