diff options
author | Karl Berry <karl@freefriends.org> | 2010-05-20 23:43:56 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2010-05-20 23:43:56 +0000 |
commit | 69e7ac9e5640e2ba5c15c0b95035e395391c4eca (patch) | |
tree | 90b304c8741205df3d3d2c4b5fa906aacfb25d01 /Build/source/texk/tetex/Makefile.in | |
parent | 254ede458ed68bd6bf23c32ab3cb370be637e035 (diff) |
rm more references to TETEXDOC.{dvi,ps}
git-svn-id: svn://tug.org/texlive/trunk@18390 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/tetex/Makefile.in')
-rw-r--r-- | Build/source/texk/tetex/Makefile.in | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Build/source/texk/tetex/Makefile.in b/Build/source/texk/tetex/Makefile.in index 77be8b2eb7f..438d7f15553 100644 --- a/Build/source/texk/tetex/Makefile.in +++ b/Build/source/texk/tetex/Makefile.in @@ -246,9 +246,7 @@ dist_man5_MANS = \ tetexdocdir = ${prefix}/texmf/doc/tetex dist_tetexdoc_DATA = \ - doc/TETEXDOC.dvi \ doc/TETEXDOC.pdf \ - doc/TETEXDOC.ps \ doc/teTeX-FAQ texconfdir = ${prefix} |