diff options
| author | Karl Berry <karl@freefriends.org> | 2007-01-07 23:31:58 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2007-01-07 23:31:58 +0000 |
| commit | 0544fbba234c8002612cecc209b97dd35d3ea101 (patch) | |
| tree | e8419aad3db8b2b10de6df862a6537654607ee70 | |
| parent | 3cc4736447cc6cbea0970fc46b8aa88925df333b (diff) | |
no, let's not change the build default
git-svn-id: svn://tug.org/texlive/trunk@3218 c570f23f-e606-0410-a88d-b1316a301751
| -rw-r--r-- | Build/source/texk/kpathsea/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/kpathsea/Makefile.in b/Build/source/texk/kpathsea/Makefile.in index f8700973686..cc3208b2a1e 100644 --- a/Build/source/texk/kpathsea/Makefile.in +++ b/Build/source/texk/kpathsea/Makefile.in @@ -132,7 +132,7 @@ stamp-paths: texmf.cnf -e 's%\$$VARTEXFONTS%$(vartexfonts)%g' \ -e 's%\$$web2cdir%$(web2cdir)%g' \ -e 's%\$$prefix%$(prefix)%g' \ - | sed -e 's%;%:%g' -e 's%$(prefix)/%/usr/share/%g' \ + | sed -e 's%;%:%g' \ >>paths.tmp @if cmp -s paths.h paths.tmp 2>/dev/null; then \ echo "paths.h is unchanged"; \ |