diff options
Diffstat (limited to 'Build/source/texk/tetex/Makefile.in')
-rw-r--r-- | Build/source/texk/tetex/Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/tetex/Makefile.in b/Build/source/texk/tetex/Makefile.in index 046f36313be..1cca3f126c3 100644 --- a/Build/source/texk/tetex/Makefile.in +++ b/Build/source/texk/tetex/Makefile.in @@ -263,8 +263,8 @@ web2cdir = ${prefix}/texmf/web2c dist_web2c_DATA = fmtutil.cnf EXTRA_DIST = README.a2ping README.texdoctk doc/Makefile \ doc/TETEXDOC.bib doc/TETEXDOC.tex fontinst.bat pdfetex-pl.pool \ - texdoc.man updmap.pl win32/epstopdf.c win32/epstopdf.txt \ - Makefile.in.orig configure.in.orig + updmap.pl win32/epstopdf.c win32/epstopdf.txt Makefile.in.orig \ + configure.in.orig # # This target is invoked by the top-level make, |