diff options
Diffstat (limited to 'Build/source/texk/kpathsea/Makefile.in')
-rw-r--r-- | Build/source/texk/kpathsea/Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/source/texk/kpathsea/Makefile.in b/Build/source/texk/kpathsea/Makefile.in index 7ed021875e4..68064e7d5b2 100644 --- a/Build/source/texk/kpathsea/Makefile.in +++ b/Build/source/texk/kpathsea/Makefile.in @@ -424,6 +424,7 @@ kpseinclude_HEADERS = \ truncate.h \ types.h \ variable.h \ + version.h \ xopendir.h \ xstat.h @@ -1669,7 +1670,7 @@ stamp-paths: texmf.cnf rm -f paths.tmp date >$@ -kpathsea.h: paths.h +kpathsea.h: Makefile paths.h rm -f $@ echo '/* This is a generated file */' >$@ echo '/* collecting all kpathsea headers. */' >>$@ |