diff options
Diffstat (limited to 'Build/source/texk/web2c/cwebboot.cin')
-rw-r--r-- | Build/source/texk/web2c/cwebboot.cin | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/cwebboot.cin b/Build/source/texk/web2c/cwebboot.cin index 81dc2c18fde..1ecc14bcd56 100644 --- a/Build/source/texk/web2c/cwebboot.cin +++ b/Build/source/texk/web2c/cwebboot.cin @@ -1122,7 +1122,7 @@ if((**(++argv)=='-'||**argv=='+')&&*(*argv+1))/*76:*/ { if(strcmp("-help",*argv)==0||strcmp("--help",*argv)==0) /*86:*/ -#line 711 "cwebdir/comm-w2c.ch" +#line 712 "cwebdir/comm-w2c.ch" usagehelp(program==ctangle?CTANGLEHELP:CWEAVEHELP,NULL); @@ -1132,7 +1132,7 @@ usagehelp(program==ctangle?CTANGLEHELP:CWEAVEHELP,NULL); ; if(strcmp("-version",*argv)==0||strcmp("--version",*argv)==0) /*87:*/ -#line 720 "cwebdir/comm-w2c.ch" +#line 721 "cwebdir/comm-w2c.ch" printversionandexit((program==ctangle?ctangle_banner:cweave_banner), "Silvio Levy and Donald E. Knuth",NULL,NULL); |