Lines 2213-2226
Link Here
|
2213 |
*/ |
2213 |
*/ |
2214 |
if (curdiv == topdiv && topdiv->before_first_page) |
2214 |
if (curdiv == topdiv && topdiv->before_first_page) |
2215 |
topdiv->begin_page(); |
2215 |
topdiv->begin_page(); |
2216 |
macro *m = new macro; |
2216 |
|
2217 |
m->append_str("devtag:"); |
2217 |
macro m; |
|
|
2218 |
m.append_str("devtag:"); |
2218 |
for (const char *p = nm; *p; p++) |
2219 |
for (const char *p = nm; *p; p++) |
2219 |
if (!invalid_input_char((unsigned char)*p)) |
2220 |
if (!invalid_input_char((unsigned char)*p)) |
2220 |
m->append(*p); |
2221 |
m.append(*p); |
2221 |
m->append(' '); |
2222 |
m.append(' '); |
2222 |
m->append_int(i); |
2223 |
m.append_int(i); |
2223 |
return new special_node(*m); |
2224 |
return new special_node(m); |
2224 |
} |
2225 |
} |
2225 |
return 0; |
2226 |
return 0; |
2226 |
} |
2227 |
} |