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/Makefile.am | |
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/Makefile.am')
-rw-r--r-- | Build/source/texk/tetex/Makefile.am | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Build/source/texk/tetex/Makefile.am b/Build/source/texk/tetex/Makefile.am index bbf13114a68..e258ee1fbc2 100644 --- a/Build/source/texk/tetex/Makefile.am +++ b/Build/source/texk/tetex/Makefile.am @@ -146,7 +146,6 @@ EXTRA_DIST += \ doc/TETEXDOC.tex \ fontinst.bat \ pdfetex-pl.pool \ - texdoc.man \ updmap.pl \ win32/epstopdf.c \ win32/epstopdf.txt |