summaryrefslogtreecommitdiff
path: root/Build/source/texk/kpathsea
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/kpathsea')
-rw-r--r--Build/source/texk/kpathsea/Makefile.in2
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"; \