diff options
Diffstat (limited to 'Build/source/texk/web2c/tiedir/tie-w2c.ch')
| -rw-r--r-- | Build/source/texk/web2c/tiedir/tie-w2c.ch | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/tiedir/tie-w2c.ch b/Build/source/texk/web2c/tiedir/tie-w2c.ch index fcf2a987e61..a55866691c5 100644 --- a/Build/source/texk/web2c/tiedir/tie-w2c.ch +++ b/Build/source/texk/web2c/tiedir/tie-w2c.ch @@ -108,9 +108,13 @@ e_of_ch_preamble (file_index i) @x void usage() +{ + print("Usage: tie -[mc] outfile master changefile(s)"); @y static void usage (void) +{ + print("Usage: tie -m|-c outfile master changefile(s)"); @z @x |