diff options
author | Karl Berry <karl@freefriends.org> | 2009-04-02 22:09:18 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2009-04-02 22:09:18 +0000 |
commit | 040a1cbc3d2374a18278d550a6a3abf878c51372 (patch) | |
tree | f827fbbb23794e6acca82c2d2d88684eb2e97724 /Build/source/texk/tetex/ChangeLog | |
parent | f35c8a8336c50073a0d2259793453d2f53d115c0 (diff) |
remove two (different versions of) texdoc.man, maintained separately now
git-svn-id: svn://tug.org/texlive/trunk@12609 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/tetex/ChangeLog')
-rw-r--r-- | Build/source/texk/tetex/ChangeLog | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Build/source/texk/tetex/ChangeLog b/Build/source/texk/tetex/ChangeLog index e0c8c351c05..2d8b9ab3490 100644 --- a/Build/source/texk/tetex/ChangeLog +++ b/Build/source/texk/tetex/ChangeLog @@ -1,3 +1,9 @@ +2009-04-03 Karl Berry <karl@tug.org> + + * Makefile.am (EXTRA_DIST): remove texdoc.man from list. + * texdoc.man: remove file; maintained separately now + (http://tug.org/texdoc) + 2009-03-17 Karl Berry <karl@tug.org> * updmap (main, cleanup): cd back to the original pwd instead of /, |