#line

git-svn-id: svn://tug.org/texlive/trunk@27644 c570f23f-e606-0410-a88d-b1316a301751

3 files changed, 97 insertions, 97 deletions

diff --git a/Build/source/texk/web2c/ctangleboot.cin b/Build/source/texk/web2c/ctangleboot.cin
index 9998974f58c..8610130b6ee 100644
--- a/Build/source/texk/web2c/ctangleboot.cin
+++ b/Build/source/texk/web2c/ctangleboot.cin
@@ -4,7 +4,7 @@
 /*5:*/
 #line 35 "cwebdir/common.h"
 
-#line 93 "cwebdir/ctang-w2c.ch"
+#line 121 "cwebdir/ctang-w2c.ch"
 #include <stdio.h> 
 #include <kpathsea/kpathsea.h> 
 #line 37 "cwebdir/common.h"
@@ -190,21 +190,21 @@ extern char*byte_ptr;
 extern name_pointer hash[];
 extern hash_pointer hash_end;
 extern hash_pointer h;
-#line 104 "cwebdir/ctang-w2c.ch"
+#line 132 "cwebdir/ctang-w2c.ch"
 #include "cwebboot.h"
 #line 112 "cwebdir/common.h"
 
 /*:8*//*9:*/
 #line 122 "cwebdir/common.h"
 
-#line 116 "cwebdir/ctang-w2c.ch"
+#line 144 "cwebdir/ctang-w2c.ch"
 extern int history;
 #line 128 "cwebdir/common.h"
 
 /*:9*//*10:*/
 #line 137 "cwebdir/common.h"
 
-#line 130 "cwebdir/ctang-w2c.ch"
+#line 158 "cwebdir/ctang-w2c.ch"
 extern int include_depth;
 #line 139 "cwebdir/common.h"
 extern FILE*file[];
@@ -216,7 +216,7 @@ extern char scn_file_name[];
 extern char file_name[][max_file_name_length];
 
 extern char change_file_name[];
-#line 137 "cwebdir/ctang-w2c.ch"
+#line 165 "cwebdir/ctang-w2c.ch"
 extern int line[];
 extern int change_line;
 #line 150 "cwebdir/common.h"
@@ -368,35 +368,35 @@ extern sixteen_bits section_count;
 /*40:*/
 #line 533 "cwebdir/ctangle.w"
 
-#line 239 "cwebdir/ctang-w2c.ch"
+#line 267 "cwebdir/ctang-w2c.ch"
 static void phase_two(void);
 #line 535 "cwebdir/ctangle.w"
 
 /*:40*//*45:*/
 #line 602 "cwebdir/ctangle.w"
 
-#line 265 "cwebdir/ctang-w2c.ch"
+#line 293 "cwebdir/ctang-w2c.ch"
 static void output_defs(void);
 #line 604 "cwebdir/ctangle.w"
 
 /*:45*//*47:*/
 #line 648 "cwebdir/ctangle.w"
 
-#line 283 "cwebdir/ctang-w2c.ch"
+#line 311 "cwebdir/ctang-w2c.ch"
 static void out_char(eight_bits);
 #line 650 "cwebdir/ctangle.w"
 
 /*:47*//*89:*/
 #line 1457 "cwebdir/ctangle.w"
 
-#line 378 "cwebdir/ctang-w2c.ch"
+#line 406 "cwebdir/ctang-w2c.ch"
 static void phase_one(void);
 #line 1459 "cwebdir/ctangle.w"
 
 /*:89*//*91:*/
 #line 1475 "cwebdir/ctangle.w"
 
-#line 396 "cwebdir/ctang-w2c.ch"
+#line 424 "cwebdir/ctang-w2c.ch"
 static void skip_limbo(void);
 #line 1477 "cwebdir/ctangle.w"
 
@@ -485,7 +485,7 @@ return wrap_up();
 /*:2*//*20:*/
 #line 183 "cwebdir/ctangle.w"
 
-#line 163 "cwebdir/ctang-w2c.ch"
+#line 191 "cwebdir/ctang-w2c.ch"
 int names_match(name_pointer p,const char*first,int l,char t)
 #line 188 "cwebdir/ctangle.w"
 {
@@ -497,21 +497,21 @@ return!strncmp(first,p->byte_start,l);
 #line 198 "cwebdir/ctangle.w"
 
 void
-#line 172 "cwebdir/ctang-w2c.ch"
+#line 200 "cwebdir/ctang-w2c.ch"
  init_node(name_pointer node)
 #line 202 "cwebdir/ctangle.w"
 {
 node->equiv= (char*)text_info;
 }
 void
-#line 178 "cwebdir/ctang-w2c.ch"
+#line 206 "cwebdir/ctang-w2c.ch"
  init_p(name_pointer p,char t){}
 #line 207 "cwebdir/ctangle.w"
 
 /*:21*//*25:*/
 #line 260 "cwebdir/ctangle.w"
 
-#line 188 "cwebdir/ctang-w2c.ch"
+#line 216 "cwebdir/ctang-w2c.ch"
 static void
 store_two_bytes(sixteen_bits x)
 #line 264 "cwebdir/ctangle.w"
@@ -524,7 +524,7 @@ if(tok_ptr+2> tok_mem_end)overflow("token");
 /*:25*//*29:*/
 #line 336 "cwebdir/ctangle.w"
 
-#line 199 "cwebdir/ctang-w2c.ch"
+#line 227 "cwebdir/ctang-w2c.ch"
 static void
 push_level(name_pointer p)
 #line 340 "cwebdir/ctangle.w"
@@ -542,7 +542,7 @@ cur_section= 0;
 /*:29*//*30:*/
 #line 355 "cwebdir/ctangle.w"
 
-#line 210 "cwebdir/ctang-w2c.ch"
+#line 238 "cwebdir/ctang-w2c.ch"
 static void
 pop_level(int flag)
 #line 359 "cwebdir/ctangle.w"
@@ -559,7 +559,7 @@ if(stack_ptr> stack)cur_state= *stack_ptr;
 /*:30*//*32:*/
 #line 391 "cwebdir/ctangle.w"
 
-#line 220 "cwebdir/ctang-w2c.ch"
+#line 248 "cwebdir/ctang-w2c.ch"
 static void
 get_output(void)
 #line 394 "cwebdir/ctangle.w"
@@ -608,7 +608,7 @@ out_char(section_number);
 /*:32*//*36:*/
 #line 481 "cwebdir/ctangle.w"
 
-#line 230 "cwebdir/ctang-w2c.ch"
+#line 258 "cwebdir/ctang-w2c.ch"
 static void
 flush_buffer(void)
 #line 484 "cwebdir/ctangle.w"
@@ -625,7 +625,7 @@ cur_line++;
 /*:36*//*41:*/
 #line 536 "cwebdir/ctangle.w"
 
-#line 248 "cwebdir/ctang-w2c.ch"
+#line 276 "cwebdir/ctang-w2c.ch"
 static void
 phase_two(void){
 #line 539 "cwebdir/ctangle.w"
@@ -676,7 +676,7 @@ for(an_output_file= end_output_files;an_output_file> cur_out_file;){
 an_output_file--;
 sprint_section_name(output_file_name,*an_output_file);
 fclose(C_file);
-#line 257 "cwebdir/ctang-w2c.ch"
+#line 285 "cwebdir/ctang-w2c.ch"
 C_file= fopen(output_file_name,"wb");
 #line 578 "cwebdir/ctangle.w"
 if(C_file==0)fatal("! Cannot open output file:",output_file_name);
@@ -702,7 +702,7 @@ if(show_happiness)printf("\nDone.");
 /*:41*//*46:*/
 #line 605 "cwebdir/ctangle.w"
 
-#line 274 "cwebdir/ctang-w2c.ch"
+#line 302 "cwebdir/ctang-w2c.ch"
 static void
 output_defs(void)
 #line 608 "cwebdir/ctangle.w"
@@ -745,7 +745,7 @@ pop_level(0);
 #line 651 "cwebdir/ctangle.w"
 
 static void
-#line 292 "cwebdir/ctang-w2c.ch"
+#line 320 "cwebdir/ctang-w2c.ch"
  out_char(eight_bits cur_char)
 #line 655 "cwebdir/ctangle.w"
 {
@@ -846,7 +846,7 @@ default:C_putc(cur_char);out_state= normal;break;
 /*:48*//*57:*/
 #line 813 "cwebdir/ctangle.w"
 
-#line 301 "cwebdir/ctang-w2c.ch"
+#line 329 "cwebdir/ctang-w2c.ch"
 static eight_bits
 skip_ahead(void)
 #line 816 "cwebdir/ctangle.w"
@@ -866,7 +866,7 @@ if(c!=ignore||*(loc-1)=='>')return(c);
 /*:57*//*59:*/
 #line 848 "cwebdir/ctangle.w"
 
-#line 311 "cwebdir/ctang-w2c.ch"
+#line 339 "cwebdir/ctang-w2c.ch"
 static int
 skip_comment(boolean is_long_comment)
 #line 851 "cwebdir/ctangle.w"
@@ -902,7 +902,7 @@ else loc++;
 /*:59*//*62:*/
 #line 900 "cwebdir/ctangle.w"
 
-#line 328 "cwebdir/ctang-w2c.ch"
+#line 356 "cwebdir/ctang-w2c.ch"
 static eight_bits
 get_next(void)
 #line 903 "cwebdir/ctangle.w"
@@ -924,7 +924,7 @@ else id_first= cur_file_name;
 id_loc= id_first+strlen(id_first);
 if(changing)store_two_bytes((sixteen_bits)change_line);
 else store_two_bytes((sixteen_bits)cur_line);
-#line 359 "cwebdir/ctang-w2c.ch"
+#line 387 "cwebdir/ctang-w2c.ch"
 {int a_l= id_lookup(id_first,id_loc,0)-name_dir;app_repl((a_l/0400)+0200);
 app_repl(a_l%0400);}
 #line 1234 "cwebdir/ctangle.w"
@@ -1188,7 +1188,7 @@ mistake:/*63:*/
 switch(c){
 case'+':if(*loc=='+')compress(plus_plus);break;
 case'-':if(*loc=='-'){compress(minus_minus);}
-#line 338 "cwebdir/ctang-w2c.ch"
+#line 366 "cwebdir/ctang-w2c.ch"
 else if(*loc=='>'){if(*(loc+1)=='*'){loc++;compress(minus_gt_ast);}
 else compress(minus_gt);}break;
 #line 956 "cwebdir/ctangle.w"
@@ -1218,7 +1218,7 @@ return(c);
 /*:62*//*75:*/
 #line 1199 "cwebdir/ctangle.w"
 
-#line 349 "cwebdir/ctang-w2c.ch"
+#line 377 "cwebdir/ctang-w2c.ch"
 static void
 scan_repl(eight_bits t)
 #line 1203 "cwebdir/ctangle.w"
@@ -1233,7 +1233,7 @@ else id_first= cur_file_name;
 id_loc= id_first+strlen(id_first);
 if(changing)store_two_bytes((sixteen_bits)change_line);
 else store_two_bytes((sixteen_bits)cur_line);
-#line 359 "cwebdir/ctang-w2c.ch"
+#line 387 "cwebdir/ctang-w2c.ch"
 {int a_l= id_lookup(id_first,id_loc,0)-name_dir;app_repl((a_l/0400)+0200);
 app_repl(a_l%0400);}
 #line 1234 "cwebdir/ctangle.w"
@@ -1278,7 +1278,7 @@ else id_first= cur_file_name;
 id_loc= id_first+strlen(id_first);
 if(changing)store_two_bytes((sixteen_bits)change_line);
 else store_two_bytes((sixteen_bits)cur_line);
-#line 359 "cwebdir/ctang-w2c.ch"
+#line 387 "cwebdir/ctang-w2c.ch"
 {int a_l= id_lookup(id_first,id_loc,0)-name_dir;app_repl((a_l/0400)+0200);
 app_repl(a_l%0400);}
 #line 1234 "cwebdir/ctangle.w"
@@ -1303,7 +1303,7 @@ else id_first= cur_file_name;
 id_loc= id_first+strlen(id_first);
 if(changing)store_two_bytes((sixteen_bits)change_line);
 else store_two_bytes((sixteen_bits)cur_line);
-#line 359 "cwebdir/ctang-w2c.ch"
+#line 387 "cwebdir/ctang-w2c.ch"
 {int a_l= id_lookup(id_first,id_loc,0)-name_dir;app_repl((a_l/0400)+0200);
 app_repl(a_l%0400);}
 #line 1234 "cwebdir/ctangle.w"
@@ -1409,7 +1409,7 @@ cur_text= text_ptr;(++text_ptr)->tok_start= tok_ptr;
 /*:75*//*82:*/
 #line 1357 "cwebdir/ctangle.w"
 
-#line 369 "cwebdir/ctang-w2c.ch"
+#line 397 "cwebdir/ctang-w2c.ch"
 static void
 scan_section(void)
 #line 1360 "cwebdir/ctangle.w"
@@ -1522,7 +1522,7 @@ cur_text->text_link= section_flag;
 /*:82*//*90:*/
 #line 1460 "cwebdir/ctangle.w"
 
-#line 387 "cwebdir/ctang-w2c.ch"
+#line 415 "cwebdir/ctang-w2c.ch"
 static void
 phase_one(void){
 #line 1463 "cwebdir/ctangle.w"
@@ -1538,7 +1538,7 @@ phase= 2;
 /*:90*//*92:*/
 #line 1478 "cwebdir/ctangle.w"
 
-#line 405 "cwebdir/ctang-w2c.ch"
+#line 433 "cwebdir/ctang-w2c.ch"
 static void
 skip_limbo(void)
 #line 1481 "cwebdir/ctangle.w"
@@ -1599,7 +1599,7 @@ default:err_print("! Double @ should be used in limbo");
 #line 1533 "cwebdir/ctangle.w"
 
 void
-#line 414 "cwebdir/ctang-w2c.ch"
+#line 442 "cwebdir/ctang-w2c.ch"
  print_stats(void){
 #line 1536 "cwebdir/ctangle.w"
 printf("\nMemory usage statistics:\n");
diff --git a/Build/source/texk/web2c/cwebboot.cin b/Build/source/texk/web2c/cwebboot.cin
index a52fa9ee2b5..6330c2ab590 100644
--- a/Build/source/texk/web2c/cwebboot.cin
+++ b/Build/source/texk/web2c/cwebboot.cin
@@ -14,7 +14,7 @@
 /*:8*//*22:*/
 #line 471 "cwebdir/common.w"
 
-#line 163 "cwebdir/comm-w2c.ch"
+#line 175 "cwebdir/comm-w2c.ch"
 #include <stdlib.h>  
 #define CWEB
 #include "cpascal.h"
@@ -224,7 +224,7 @@ name_pointer hash[hash_size];
 hash_pointer hash_end= hash+hash_size-1;
 hash_pointer h;
 
-#line 273 "cwebdir/comm-w2c.ch"
+#line 303 "cwebdir/comm-w2c.ch"
 /*:34*//*58:*/
 #line 1082 "cwebdir/common.w"
 
@@ -248,7 +248,7 @@ FILE*C_file;
 FILE*tex_file;
 FILE*idx_file;
 FILE*scn_file;
-#line 659 "cwebdir/comm-w2c.ch"
+#line 689 "cwebdir/comm-w2c.ch"
 FILE*active_file;
 char*found_filename;
 #line 1376 "cwebdir/common.w"
@@ -274,14 +274,14 @@ char*change_limit;
 /*55:*/
 #line 1017 "cwebdir/common.w"
 
-#line 447 "cwebdir/comm-w2c.ch"
+#line 477 "cwebdir/comm-w2c.ch"
 static int section_name_cmp(char**,int,name_pointer);
 #line 1019 "cwebdir/common.w"
 
 /*:55*//*71:*/
 #line 1251 "cwebdir/common.w"
 
-#line 576 "cwebdir/comm-w2c.ch"
+#line 606 "cwebdir/comm-w2c.ch"
 static void scan_args(void);
 #line 1253 "cwebdir/common.w"
 
@@ -320,7 +320,7 @@ root= NULL;
 #line 65 "cwebdir/comm-w2c.ch"
 ;
 /*24:*/
-#line 200 "cwebdir/comm-w2c.ch"
+#line 212 "cwebdir/comm-w2c.ch"
 
 kpse_set_program_name(argv[0],"cweb");
 #line 473 "cwebdir/common.w"
@@ -332,7 +332,7 @@ kpse_set_program_name(argv[0],"cweb");
 /*70:*/
 #line 1233 "cwebdir/common.w"
 
-#line 568 "cwebdir/comm-w2c.ch"
+#line 598 "cwebdir/comm-w2c.ch"
 show_banner= show_happiness= show_progress= 1;
 #line 1235 "cwebdir/common.w"
 
@@ -344,14 +344,14 @@ show_banner= show_happiness= show_progress= 1;
 
 scan_args();
 if(program==ctangle){
-#line 668 "cwebdir/comm-w2c.ch"
+#line 698 "cwebdir/comm-w2c.ch"
 if((C_file= fopen(C_file_name,"wb"))==NULL)
 #line 1381 "cwebdir/common.w"
 fatal("! Cannot open output file ",C_file_name);
 
 }
 else{
-#line 674 "cwebdir/comm-w2c.ch"
+#line 704 "cwebdir/comm-w2c.ch"
 if((tex_file= fopen(tex_file_name,"wb"))==NULL)
 #line 1386 "cwebdir/common.w"
 fatal("! Cannot open output file ",tex_file_name);
@@ -365,7 +365,7 @@ fatal("! Cannot open output file ",tex_file_name);
 /*:4*//*9:*/
 #line 172 "cwebdir/common.w"
 
-#line 75 "cwebdir/comm-w2c.ch"
+#line 81 "cwebdir/comm-w2c.ch"
 int input_ln(FILE*fp)
 #line 175 "cwebdir/common.w"
 {
@@ -388,7 +388,7 @@ return(1);
 /*:9*//*12:*/
 #line 251 "cwebdir/common.w"
 
-#line 97 "cwebdir/comm-w2c.ch"
+#line 103 "cwebdir/comm-w2c.ch"
 static void
 prime_the_change_buffer(void)
 #line 254 "cwebdir/common.w"
@@ -445,7 +445,7 @@ strncpy(change_buffer,buffer,limit-buffer+1);
 /*:12*//*16:*/
 #line 320 "cwebdir/common.w"
 
-#line 107 "cwebdir/comm-w2c.ch"
+#line 113 "cwebdir/comm-w2c.ch"
 static void
 check_change(void)
 #line 323 "cwebdir/common.w"
@@ -517,7 +517,7 @@ if(lines_dont_match)n++;
 #line 378 "cwebdir/common.w"
 
 void
-#line 116 "cwebdir/comm-w2c.ch"
+#line 122 "cwebdir/comm-w2c.ch"
  reset_input(void)
 #line 381 "cwebdir/common.w"
 {
@@ -525,7 +525,7 @@ limit= buffer;loc= buffer+1;buffer[0]= ' ';
 /*19:*/
 #line 393 "cwebdir/common.w"
 
-#line 128 "cwebdir/comm-w2c.ch"
+#line 134 "cwebdir/comm-w2c.ch"
 if((found_filename= kpse_find_cweb(web_file_name))==NULL||
 (web_file= fopen(found_filename,"r"))==NULL){
 fatal("! Cannot open input file ",web_file_name);
@@ -537,7 +537,7 @@ free(found_filename);
 
 
 web_file_open= 1;
-#line 141 "cwebdir/comm-w2c.ch"
+#line 147 "cwebdir/comm-w2c.ch"
 if((found_filename= kpse_find_cweb(change_file_name))==NULL||
 (change_file= fopen(found_filename,"r"))==NULL){
 fatal("! Cannot open change file ",change_file_name);
@@ -559,7 +559,7 @@ limit= buffer;loc= buffer+1;buffer[0]= ' ';input_has_ended= 0;
 /*:18*//*21:*/
 #line 426 "cwebdir/common.w"
 
-#line 155 "cwebdir/comm-w2c.ch"
+#line 167 "cwebdir/comm-w2c.ch"
 int get_line(void)
 #line 428 "cwebdir/common.w"
 {
@@ -643,7 +643,7 @@ include_depth++;
 /*25:*/
 #line 474 "cwebdir/common.w"
 {
-#line 213 "cwebdir/comm-w2c.ch"
+#line 225 "cwebdir/comm-w2c.ch"
 char*cur_file_name_end= cur_file_name+max_file_name_length-1;
 char*k= cur_file_name;
 #line 479 "cwebdir/common.w"
@@ -657,7 +657,7 @@ while(*loc!=' '&&*loc!='\t'&&*loc!='"'&&k<=cur_file_name_end)*k++= *loc++;
 if(k> cur_file_name_end)too_long();
 
 *k= '\0';
-#line 220 "cwebdir/comm-w2c.ch"
+#line 232 "cwebdir/comm-w2c.ch"
 if((found_filename= kpse_find_cweb(cur_file_name))!=NULL&&
 (cur_file= fopen(found_filename,"r"))!=NULL){
 
@@ -684,7 +684,7 @@ return 1;
 #line 569 "cwebdir/common.w"
 
 void
-#line 264 "cwebdir/comm-w2c.ch"
+#line 276 "cwebdir/comm-w2c.ch"
  check_complete(void){
 #line 572 "cwebdir/common.w"
 if(change_limit!=change_buffer){
@@ -700,14 +700,14 @@ err_print("! Change file entry did not match");
 #line 660 "cwebdir/common.w"
 
 name_pointer
-#line 285 "cwebdir/comm-w2c.ch"
+#line 315 "cwebdir/comm-w2c.ch"
 
 id_lookup(const char*first,const char*last,char t)
 #line 666 "cwebdir/common.w"
 {
-#line 292 "cwebdir/comm-w2c.ch"
+#line 322 "cwebdir/comm-w2c.ch"
 const char*i= first;
-#line 298 "cwebdir/comm-w2c.ch"
+#line 328 "cwebdir/comm-w2c.ch"
 int h;
 #line 669 "cwebdir/common.w"
 int l;
@@ -717,7 +717,7 @@ l= last-first;
 /*38:*/
 #line 683 "cwebdir/common.w"
 
-#line 307 "cwebdir/comm-w2c.ch"
+#line 337 "cwebdir/comm-w2c.ch"
 h= (unsigned char)*i;
 while(++i<last)h= (h+h+(int)((unsigned char)*i))%hash_size;
 #line 686 "cwebdir/common.w"
@@ -729,13 +729,13 @@ while(++i<last)h= (h+h+(int)((unsigned char)*i))%hash_size;
 /*39:*/
 #line 691 "cwebdir/common.w"
 
-#line 316 "cwebdir/comm-w2c.ch"
+#line 346 "cwebdir/comm-w2c.ch"
 p= hash[h];
 #line 693 "cwebdir/common.w"
 while(p&&!names_match(p,first,l,t))p= p->link;
 if(p==NULL){
 p= name_ptr;
-#line 322 "cwebdir/comm-w2c.ch"
+#line 352 "cwebdir/comm-w2c.ch"
 p->link= hash[h];hash[h]= p;
 #line 697 "cwebdir/common.w"
 }
@@ -763,7 +763,7 @@ return(p);
 #line 764 "cwebdir/common.w"
 
 void
-#line 341 "cwebdir/comm-w2c.ch"
+#line 371 "cwebdir/comm-w2c.ch"
  print_section_name(name_pointer p)
 #line 768 "cwebdir/common.w"
 {
@@ -785,7 +785,7 @@ if(q)term_write("...",3);
 #line 783 "cwebdir/common.w"
 
 void
-#line 351 "cwebdir/comm-w2c.ch"
+#line 381 "cwebdir/comm-w2c.ch"
  sprint_section_name(char*dest,name_pointer p)
 #line 788 "cwebdir/common.w"
 {
@@ -807,7 +807,7 @@ s= p->byte_start;
 /*:45*//*46:*/
 #line 804 "cwebdir/common.w"
 
-#line 361 "cwebdir/comm-w2c.ch"
+#line 391 "cwebdir/comm-w2c.ch"
 static void
 print_prefix_name(name_pointer p)
 #line 808 "cwebdir/common.w"
@@ -821,13 +821,13 @@ if(s+l<(p+1)->byte_start)term_write("...",3);
 /*:46*//*47:*/
 #line 825 "cwebdir/common.w"
 
-#line 372 "cwebdir/comm-w2c.ch"
+#line 402 "cwebdir/comm-w2c.ch"
 
 static int
 web_strcmp(char*j,int j_len,char*k,int k_len)
 #line 829 "cwebdir/common.w"
 {
-#line 384 "cwebdir/comm-w2c.ch"
+#line 414 "cwebdir/comm-w2c.ch"
 char*j1= j+j_len,*k1= k+k_len;
 while(k<k1&&j<j1&&*j==*k)k++,j++;
 if(k==k1)if(j==j1)return equal;
@@ -841,7 +841,7 @@ else return greater;
 /*:47*//*49:*/
 #line 855 "cwebdir/common.w"
 
-#line 412 "cwebdir/comm-w2c.ch"
+#line 442 "cwebdir/comm-w2c.ch"
 static name_pointer
 add_section_name(name_pointer par,int c,char*first,char*last,
 int ispref)
@@ -870,7 +870,7 @@ return par==NULL?(root= p):c==less?(par->llink= p):(par->rlink= p);
 /*:49*//*50:*/
 #line 884 "cwebdir/common.w"
 
-#line 427 "cwebdir/comm-w2c.ch"
+#line 457 "cwebdir/comm-w2c.ch"
 static void
 extend_section_name(name_pointer p,char*first,char*last,int ispref)
 #line 891 "cwebdir/common.w"
@@ -893,7 +893,7 @@ if(ispref)*(byte_ptr-1)= ' ';
 #line 912 "cwebdir/common.w"
 
 name_pointer
-#line 438 "cwebdir/comm-w2c.ch"
+#line 468 "cwebdir/comm-w2c.ch"
 
 section_lookup(char*first,char*last,int ispref)
 #line 917 "cwebdir/common.w"
@@ -986,7 +986,7 @@ return r;
 /*:51*//*56:*/
 #line 1020 "cwebdir/common.w"
 
-#line 458 "cwebdir/comm-w2c.ch"
+#line 488 "cwebdir/comm-w2c.ch"
 static int
 section_name_cmp(char**pfirst,int len,name_pointer r)
 #line 1025 "cwebdir/common.w"
@@ -1021,7 +1021,7 @@ default:return c;
 #line 1095 "cwebdir/common.w"
 
 void
-#line 478 "cwebdir/comm-w2c.ch"
+#line 508 "cwebdir/comm-w2c.ch"
  err_print(const char*s)
 #line 1099 "cwebdir/common.w"
 {
@@ -1056,7 +1056,7 @@ update_terminal;mark_error;
 /*:60*//*63:*/
 #line 1150 "cwebdir/common.w"
 
-#line 498 "cwebdir/comm-w2c.ch"
+#line 528 "cwebdir/comm-w2c.ch"
 int wrap_up(void){
 #line 1152 "cwebdir/common.w"
 putchar('\n');
@@ -1084,7 +1084,7 @@ else return(0);
 /*:63*//*66:*/
 #line 1179 "cwebdir/common.w"
 void
-#line 518 "cwebdir/comm-w2c.ch"
+#line 548 "cwebdir/comm-w2c.ch"
  fatal(const char*s,const char*t)
 #line 1182 "cwebdir/common.w"
 {
@@ -1096,7 +1096,7 @@ history= fatal_message;exit(wrap_up());
 /*:66*//*67:*/
 #line 1190 "cwebdir/common.w"
 void
-#line 527 "cwebdir/comm-w2c.ch"
+#line 557 "cwebdir/comm-w2c.ch"
  overflow(const char*t)
 #line 1193 "cwebdir/common.w"
 {
@@ -1107,7 +1107,7 @@ printf("\n! Sorry, %s capacity exceeded",t);fatal("","");
 /*:67*//*72:*/
 #line 1254 "cwebdir/common.w"
 
-#line 586 "cwebdir/comm-w2c.ch"
+#line 616 "cwebdir/comm-w2c.ch"
 static void
 scan_args(void)
 #line 1257 "cwebdir/common.w"
@@ -1121,40 +1121,40 @@ boolean flag_change;
 
 while(--argc> 0){
 if((**(++argv)=='-'||**argv=='+')&&*(*argv+1))/*76:*/
-#line 611 "cwebdir/comm-w2c.ch"
+#line 641 "cwebdir/comm-w2c.ch"
 
 {
 if(strcmp("-help",*argv)==0||strcmp("--help",*argv)==0)
 /*86:*/
-#line 726 "cwebdir/comm-w2c.ch"
+#line 756 "cwebdir/comm-w2c.ch"
 
 usagehelp(program==ctangle?CTANGLEHELP:CWEAVEHELP,NULL);
 
 
 /*:86*/
-#line 614 "cwebdir/comm-w2c.ch"
+#line 644 "cwebdir/comm-w2c.ch"
 ;
 if(strcmp("-version",*argv)==0||strcmp("--version",*argv)==0)
 /*87:*/
-#line 735 "cwebdir/comm-w2c.ch"
+#line 765 "cwebdir/comm-w2c.ch"
 
 printversionandexit((program==ctangle?ctangle_banner:cweave_banner),
 "Silvio Levy and Donald E. Knuth",NULL,NULL);
 
 
 /*:87*/
-#line 616 "cwebdir/comm-w2c.ch"
+#line 646 "cwebdir/comm-w2c.ch"
 ;
 #line 1346 "cwebdir/common.w"
 if(**argv=='-')flag_change= 0;
-#line 622 "cwebdir/comm-w2c.ch"
+#line 652 "cwebdir/comm-w2c.ch"
 else flag_change= 1;
 if(*(*argv+1)=='d')
 if(sscanf(*argv+2,"%u",&kpathsea_debug)!=1)/*77:*/
 #line 1352 "cwebdir/common.w"
 
 {
-#line 645 "cwebdir/comm-w2c.ch"
+#line 675 "cwebdir/comm-w2c.ch"
 if(program==ctangle){
 fprintf(stderr,"ctangle: Need one to three file arguments.\n");
 usage("ctangle");
@@ -1166,11 +1166,11 @@ usage("cweave");
 }
 
 /*:77*/
-#line 624 "cwebdir/comm-w2c.ch"
+#line 654 "cwebdir/comm-w2c.ch"
 ;
 #line 1348 "cwebdir/common.w"
 for(dot_pos= *argv+1;*dot_pos> '\0';dot_pos++)
-#line 630 "cwebdir/comm-w2c.ch"
+#line 660 "cwebdir/comm-w2c.ch"
 flags[(unsigned char)*dot_pos]= flag_change;
 #line 1350 "cwebdir/common.w"
 }
@@ -1270,7 +1270,7 @@ sprintf(scn_file_name,"%s.scn",*argv);
 found_out= 1;
 }
 
-#line 611 "cwebdir/comm-w2c.ch"
+#line 641 "cwebdir/comm-w2c.ch"
 /*:75*/
 #line 1277 "cwebdir/common.w"
 
@@ -1278,7 +1278,7 @@ else/*77:*/
 #line 1352 "cwebdir/common.w"
 
 {
-#line 645 "cwebdir/comm-w2c.ch"
+#line 675 "cwebdir/comm-w2c.ch"
 if(program==ctangle){
 fprintf(stderr,"ctangle: Need one to three file arguments.\n");
 usage("ctangle");
@@ -1298,7 +1298,7 @@ if(!found_web)/*77:*/
 #line 1352 "cwebdir/common.w"
 
 {
-#line 645 "cwebdir/comm-w2c.ch"
+#line 675 "cwebdir/comm-w2c.ch"
 if(program==ctangle){
 fprintf(stderr,"ctangle: Need one to three file arguments.\n");
 usage("ctangle");
@@ -1312,7 +1312,7 @@ usage("cweave");
 /*:77*/
 #line 1281 "cwebdir/common.w"
 ;
-#line 596 "cwebdir/comm-w2c.ch"
+#line 626 "cwebdir/comm-w2c.ch"
 if(found_change<=0)strcpy(change_file_name,DEV_NULL);
 #line 1283 "cwebdir/common.w"
 }
diff --git a/Build/source/texk/web2c/cwebboot.hin b/Build/source/texk/web2c/cwebboot.hin
index f7c5bee5ef2..b487353b63a 100644
--- a/Build/source/texk/web2c/cwebboot.hin
+++ b/Build/source/texk/web2c/cwebboot.hin
@@ -1,49 +1,49 @@
 /*84:*/
-#line 715 "cwebdir/comm-w2c.ch"
+#line 745 "cwebdir/comm-w2c.ch"
 
 /* Prototypes for functions, either
  * declared in common.w and used in ctangle.w and cweave.w, or
  * used in common.w and declared in ctangle.w and cweave.w.  */
 /*35:*/
-#line 273 "cwebdir/comm-w2c.ch"
+#line 303 "cwebdir/comm-w2c.ch"
 
 extern int names_match(name_pointer,const char*,int,char);
 #line 652 "cwebdir/common.w"
 
 /*:35*//*40:*/
-#line 331 "cwebdir/comm-w2c.ch"
+#line 361 "cwebdir/comm-w2c.ch"
 
 extern void init_p(name_pointer p,char t);
 #line 705 "cwebdir/common.w"
 
 /*:40*//*48:*/
-#line 397 "cwebdir/comm-w2c.ch"
+#line 427 "cwebdir/comm-w2c.ch"
 
 extern void init_node(name_pointer node);
 #line 854 "cwebdir/common.w"
 
 /*:48*//*59:*/
-#line 468 "cwebdir/comm-w2c.ch"
+#line 498 "cwebdir/comm-w2c.ch"
 
 extern void err_print(const char*);
 #line 1094 "cwebdir/common.w"
 
 /*:59*//*62:*/
-#line 488 "cwebdir/comm-w2c.ch"
+#line 518 "cwebdir/comm-w2c.ch"
 
 extern int wrap_up(void);
 extern void print_stats(void);
 #line 1143 "cwebdir/common.w"
 
 /*:62*//*65:*/
-#line 507 "cwebdir/comm-w2c.ch"
+#line 537 "cwebdir/comm-w2c.ch"
 
 extern void fatal(const char*,const char*);
 extern void overflow(const char*);
 #line 1175 "cwebdir/common.w"
 
 /*:65*//*83:*/
-#line 696 "cwebdir/comm-w2c.ch"
+#line 726 "cwebdir/comm-w2c.ch"
 
 extern void common_init(void);
 extern int input_ln(FILE*fp);
@@ -56,9 +56,9 @@ extern void sprint_section_name(char*dest,name_pointer p);
 extern name_pointer section_lookup(char*first,char*last,int ispref);
 #line 1417 "cwebdir/common.w"
 
-#line 711 "cwebdir/comm-w2c.ch"
+#line 741 "cwebdir/comm-w2c.ch"
 /*:83*/
-#line 719 "cwebdir/comm-w2c.ch"
+#line 749 "cwebdir/comm-w2c.ch"
 
 extern const char*versionstring;