comparison: src/frontend.c
src/frontend.c
- changeset 57
- eba880c1705c
- parent 55
- bf54085ce341
- child 61
- 47a5fc33590a
- child 66
- 1b12cf799fee
equal
deleted
inserted
replaced
| 56:81d99e9ceb20 | 57:eba880c1705c |
|---|---|
| 156 } | 156 } |
| 157 | 157 |
| 158 /* Process input file */ | 158 /* Process input file */ |
| 159 FILE *inputfile = fopen(settings.infilename, "r"); | 159 FILE *inputfile = fopen(settings.infilename, "r"); |
| 160 if (inputfile) { | 160 if (inputfile) { |
| 161 c2html_fformat_file( | 161 c2html_fformatf( |
| 162 inputfile, filebuf, FILEBUF_SIZE, | 162 inputfile, filebuf, FILEBUF_SIZE, |
| 163 fout, hltr, settings.showlinenumbers | 163 fout, hltr, settings.showlinenumbers |
| 164 ); | 164 ); |
| 165 fclose(inputfile); | 165 fclose(inputfile); |
| 166 } else { | 166 } else { |
