diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-07-09 11:52:21 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-07-09 11:52:21 +0000 |
commit | c262054e6041bec309cd4ee58dc9c22cc1f40fae (patch) | |
tree | 5d55d17bc9d1027ce8afbbb9211d2cda2f9820e7 /Build/source/texk/web2c/synctexdir/am | |
parent | ab471595e495323c12b4fcf31856f62269405a83 (diff) |
synctex: more native line ends
git-svn-id: svn://tug.org/texlive/trunk@14199 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/synctexdir/am')
-rw-r--r-- | Build/source/texk/web2c/synctexdir/am/synctex.am | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/Build/source/texk/web2c/synctexdir/am/synctex.am b/Build/source/texk/web2c/synctexdir/am/synctex.am index d8fc6eb9e4c..3eab195d4fd 100644 --- a/Build/source/texk/web2c/synctexdir/am/synctex.am +++ b/Build/source/texk/web2c/synctexdir/am/synctex.am @@ -26,8 +26,6 @@ dist_man_MANS += synctexdir/man1/synctex.1 synctexdir/man5/synctex.5 EXTRA_DIST += \ synctexdir/ChangeLog \ synctexdir/INSTALL \ - synctexdir/Makefile \ - synctexdir/Makefile.in \ synctexdir/README.txt \ synctexdir/synctex_parser_readme.txt \ synctexdir/synctex_parser_version.txt \ @@ -197,7 +195,7 @@ synctex_convert_xetex = && $(SHELL) $(srcdir)/synctexdir/synctex-convert.sh xete else !XETEX_SYNCTEX -synctex_convert_xetex = && echo "warning: SyncTeX for e-TeX is NOT enabled" +synctex_convert_xetex = && echo "warning: SyncTeX for XeTeX is NOT enabled" endif !XETEX_SYNCTEX @@ -209,3 +207,9 @@ EXTRA_DIST += \ synctexdir/synctex-xe-rec.ch2 \ synctexdir/synctex-xe-rec.ch3 +## Not used +## +EXTRA_DIST += \ + synctexdir/Makefile \ + synctexdir/Makefile.in + |