| 2116 | to print or store its characters. */ |
| 2117 | |
| 2118 | static void |
| 2119 | read_rest_of_line (COLUMN *p) |
| 2120 | { |
| 2121 | int c; |
| 2122 | FILE *f = p->fp; |
| 2123 | |
| 2124 | while ((c = getc (f)) != '\n') |
| 2125 | { |
| 2126 | if (c == '\f') |
| 2127 | { |
| 2128 | if ((c = getc (f)) != '\n') |
| 2129 | ungetc (c, f); |
| 2130 | if (keep_FF) |
| 2131 | print_a_FF = true; |
| 2132 | hold_file (p); |
| 2133 | break; |
| 2134 | } |
| 2135 | else if (c == EOF) |
| 2136 | { |
| 2137 | close_file (p); |
| 2138 | break; |
| 2139 | } |
| 2140 | } |
| 2141 | } |
| 2142 | |
| 2143 | /* Read a line with skip_to_page. |
| 2144 |
no test coverage detected