diff options
-rw-r--r-- | Build/source/texk/web2c/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/Makefile.in b/Build/source/texk/web2c/Makefile.in index b67caa7531a..e1b3b7c1dc3 100644 --- a/Build/source/texk/web2c/Makefile.in +++ b/Build/source/texk/web2c/Makefile.in @@ -1890,7 +1890,7 @@ DISTCLEANFILES = $(EXTRA_LIBRARIES) CXXLD.sh tangle.c tangle.h \ $(pweb_programs:=.web) $(nodist_ptex_SOURCES) ptex.web ptex.ch \ ptex-web2c ptex.p ptex.pool ptex-tangle tests/nissya_bib.* \ tests/xexampl.aux tests/xexampl.bbl tests/xexampl.blg \ - tests/memtest.bib tests/memtest?.* tests/xstory.dvityp \ + ptests/memtest.bib ptests/memtest?.* tests/xstory.dvityp \ tests/xpagenum.typ tests/xcmr10.tfm tests/xcmr10.pl \ tests/xsample.typ tests/x*min10.* ptrip.diffs \ $(nodist_eptex_SOURCES) eptex.web eptex.ch eptex-web2c eptex.p \ |