summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/synctexdir/am/synctex.am
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/synctexdir/am/synctex.am')
-rw-r--r--Build/source/texk/web2c/synctexdir/am/synctex.am4
1 files changed, 0 insertions, 4 deletions
diff --git a/Build/source/texk/web2c/synctexdir/am/synctex.am b/Build/source/texk/web2c/synctexdir/am/synctex.am
index 3fc507b4567..4b0bad7f993 100644
--- a/Build/source/texk/web2c/synctexdir/am/synctex.am
+++ b/Build/source/texk/web2c/synctexdir/am/synctex.am
@@ -203,7 +203,3 @@ EXTRA_DIST += \
synctexdir/synctex-xe-rec.ch2 \
synctexdir/synctex-xe-rec.ch3
-## Eventually delete these files
-##
-EXTRA_DIST += synctexdir/synctex.mk
-