diff options
author | Karl Berry <karl@freefriends.org> | 2010-12-25 00:41:43 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2010-12-25 00:41:43 +0000 |
commit | 7ebd1bb7e12027fe4f45942225d071ff34e1014d (patch) | |
tree | 9e5ad96b158ca3f01467e9b95590164cc07de5ab /Build/source/texk/tetex/Makefile.am | |
parent | 434432db48e94cb842fae98e8f26c56da87a9a50 (diff) |
remove seemingly no-longer-useful files
git-svn-id: svn://tug.org/texlive/trunk@20854 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/tetex/Makefile.am')
-rw-r--r-- | Build/source/texk/tetex/Makefile.am | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/Build/source/texk/tetex/Makefile.am b/Build/source/texk/tetex/Makefile.am index 16e28de2108..8fb0d363f59 100644 --- a/Build/source/texk/tetex/Makefile.am +++ b/Build/source/texk/tetex/Makefile.am @@ -54,12 +54,6 @@ dist_man5_MANS = \ fmtutil.cnf.5 \ updmap.cfg.5 -tetexdocdir = ${prefix}/texmf/doc/tetex - -dist_tetexdoc_DATA = \ - doc/TETEXDOC.pdf \ - doc/teTeX-FAQ - texconfdir = ${prefix} nobase_dist_texconf_DATA = \ @@ -127,17 +121,12 @@ endif !WIN32 done EXTRA_DIST = \ - README.a2ping \ README.texdoctk ## Not used ## EXTRA_DIST += \ - doc/Makefile \ - doc/TETEXDOC.bib \ - doc/TETEXDOC.tex \ fontinst.bat \ - pdfetex-pl.pool \ updmap.pl ## |