diff options
Diffstat (limited to 'Build/source/texk/web2c/man/tangle.man')
-rw-r--r-- | Build/source/texk/web2c/man/tangle.man | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/man/tangle.man b/Build/source/texk/web2c/man/tangle.man index 6f7411d85fd..d35e1c3eaa5 100644 --- a/Build/source/texk/web2c/man/tangle.man +++ b/Build/source/texk/web2c/man/tangle.man @@ -74,7 +74,7 @@ to the root of the \*(WB file name. An optional second output file is a string pool file, whose name is formed by adding .B .pool -to the root of the \*(WB file name. +to the root of the Pascal file name. .\"===================================================================== .SH "OPTIONS" This version of |