diff options
Diffstat (limited to 'Build/source/texk/web2c/mplibdir/am/libmplib.am')
-rw-r--r-- | Build/source/texk/web2c/mplibdir/am/libmplib.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/mplibdir/am/libmplib.am b/Build/source/texk/web2c/mplibdir/am/libmplib.am index f55b1b1e54c..8aa1b9b0921 100644 --- a/Build/source/texk/web2c/mplibdir/am/libmplib.am +++ b/Build/source/texk/web2c/mplibdir/am/libmplib.am @@ -51,7 +51,7 @@ $(libmplib_a_OBJECTS): $(nodist_libmplib_a_SOURCES) EXTRA_DIST += $(libmplib_web) DISTCLEANFILES += $(nodist_libmplib_a_SOURCES) \ - mpmath-tangle mp-tangle psout-tangle svgout-tangle tfmin-tangle + mp-tangle mpmath-tangle psout-tangle svgout-tangle ## only used by luaTeX EXTRA_DIST += mplibdir/lmplib.c |