summaryrefslogtreecommitdiff
path: root/Build/source/Makefile.in
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2009-01-25 01:57:18 +0000
committerKarl Berry <karl@freefriends.org>2009-01-25 01:57:18 +0000
commitaf944c3e4ba74f59f21178c8477fdea4b682ef2b (patch)
treeafa6af46a5179bdbd38a05fa7d63b2ff8ae32516 /Build/source/Makefile.in
parent0cea5be7570fb0ddc3d28e6bb8371809e04ca2ae (diff)
remove texinfo
git-svn-id: svn://tug.org/texlive/trunk@11963 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/Makefile.in')
-rw-r--r--Build/source/Makefile.in1
1 files changed, 0 insertions, 1 deletions
diff --git a/Build/source/Makefile.in b/Build/source/Makefile.in
index 843e934abda..9b8886dc1c2 100644
--- a/Build/source/Makefile.in
+++ b/Build/source/Makefile.in
@@ -95,7 +95,6 @@ distclean: clean
done
rm -f Makefile *.status *.cache *.log dialogconfig.h TAGS
rm -f libs/config.log libs/config.status libs/config.cache
- rm -f utils/texinfo/info/funs.h utils/texinfo/info/doc.c utils/texinfo/info/key.c
realclean: distclean
tags TAGS: