diff options
Diffstat (limited to 'Build/source/texk/kpathsea/man/Makefile.am')
-rw-r--r-- | Build/source/texk/kpathsea/man/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/kpathsea/man/Makefile.am b/Build/source/texk/kpathsea/man/Makefile.am index fa262976438..b230160b9ba 100644 --- a/Build/source/texk/kpathsea/man/Makefile.am +++ b/Build/source/texk/kpathsea/man/Makefile.am @@ -9,8 +9,8 @@ man_sources = \ mktexpk.man \ mktextfm.man -EXTRA_DIST = -DISTCLEANFILES = +EXTRA_DIST = $(man_sources) + KPATHSEA_PATHS_H = ${top_builddir}/.. include $(top_srcdir)/../am/man.am |