diff options
Diffstat (limited to 'Build/source/texk/web2c/tangleboot.p')
-rw-r--r-- | Build/source/texk/web2c/tangleboot.p | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/tangleboot.p b/Build/source/texk/web2c/tangleboot.p index 9aa2548877c..28dbd18ec49 100644 --- a/Build/source/texk/web2c/tangleboot.p +++ b/Build/source/texk/web2c/tangleboot.p @@ -102,7 +102,7 @@ end else if getoptreturnval=63 then begin usage('tangle'); end else if(strcmp(longoptions[optionindex].name,'help')=0)then begin usagehelp(TANGLEHELP,nil); end else if(strcmp(longoptions[optionindex].name,'version')=0)then begin -printversionandexit('This is TANGLE, Version 4.5',nil,'D.E. Knuth'); +printversionandexit('This is TANGLE, Version 4.5',nil,'D.E. Knuth',nil); end else if(strcmp(longoptions[optionindex].name,'mixedcase')=0)then begin forceuppercase:=false;forcelowercase:=false; end else if(strcmp(longoptions[optionindex].name,'uppercase')=0)then |