Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

SyncTeX binaries? #363

Closed
1 task done
ashthespy opened this issue Sep 6, 2019 · 7 comments
Closed
1 task done

SyncTeX binaries? #363

ashthespy opened this issue Sep 6, 2019 · 7 comments
Assignees
Milestone

Comments

@ashthespy
Copy link

ashthespy commented Sep 6, 2019

Is there a reason why SyncTeX binaries are not included in MiKTeX builds? I see there are some parts at Programs/TeXAndFriends/synctex as well as another subset as a TexWorks module.

@edocevoli
Copy link
Member

Synctex binaries are not needed.

@ashthespy
Copy link
Author

ashthespy commented Sep 6, 2019

@edocevoli could you elaborate on that? Is it the editors job to incorporate SyncTeX support similar to the way Texworks does it?
Because when using alternative editors (say based on Atom or VSCode) with MiKTeX, one has to manually grab the binaries from TeX Live and add it to path.

@edocevoli
Copy link
Member

Good point. I think we should include the binaries in a future update.

@edocevoli edocevoli reopened this Sep 6, 2019
@edocevoli edocevoli self-assigned this Sep 10, 2019
@edocevoli edocevoli added this to the 2.9.7200 milestone Sep 10, 2019
edocevoli added a commit that referenced this issue Sep 26, 2019
Fix line input issue (#364)
@edocevoli
Copy link
Member

I have added miktex-synctex.exe (synctex.exe links to it).

@ashthespy
Copy link
Author

That was quick, thanks!

@scmartin
Copy link

scmartin commented May 1, 2020

Sorry to revive this thread, but how do I find these binaries for use in another editor?

@edocevoli
Copy link
Member

They should be located in the MiKTeX bin directory, side-by-side with pdflatex, lualatex, ...

tamuratak added a commit to jlelong/LaTeX-Workshop-wiki that referenced this issue Jun 21, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

3 participants