diff options
| author | Karl Berry <karl@freefriends.org> | 2009-01-25 01:57:18 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2009-01-25 01:57:18 +0000 |
| commit | af944c3e4ba74f59f21178c8477fdea4b682ef2b (patch) | |
| tree | afa6af46a5179bdbd38a05fa7d63b2ff8ae32516 /Build/source/Makefile.in | |
| parent | 0cea5be7570fb0ddc3d28e6bb8371809e04ca2ae (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.in | 1 |
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: |