diff options
author | Karl Berry <karl@freefriends.org> | 2011-05-05 17:17:16 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2011-05-05 17:17:16 +0000 |
commit | a97361f6ed440dccf368ca9f9cae3c7b3df5c20c (patch) | |
tree | 676be87bb702ccfbb3b39e909acfdae1c6d83f99 /Build/source/texk/web2c/ChangeLog | |
parent | cc47a278bc345f269e2451bb22a7cf8cd6d0893a (diff) |
doc changs
git-svn-id: svn://tug.org/texlive/trunk@22315 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/ChangeLog')
-rw-r--r-- | Build/source/texk/web2c/ChangeLog | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/ChangeLog b/Build/source/texk/web2c/ChangeLog index fa504e92b4e..ef22b230238 100644 --- a/Build/source/texk/web2c/ChangeLog +++ b/Build/source/texk/web2c/ChangeLog @@ -1,3 +1,9 @@ +2011-05-05 Karl Berry <karl@tug.org> + + * man/pktype.man: output is always to stdout. + + * doc/web2c.texi (Common option): -jobname can override recorder name. + 2011-04-28 Karl Berry <karl@tug.org> * doc/web2c.texi (Common options): caveats about the -recorder |