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.

Sign up for GitHub

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

Jump to bottom

prettytok package files in wrong location #370

Open
1 task done
mbertucci47 opened this issue May 25, 2023 · 0 comments
Open
1 task done

prettytok package files in wrong location #370

mbertucci47 opened this issue May 25, 2023 · 0 comments
Labels
pinned

Comments

@mbertucci47
Copy link

mbertucci47 commented May 25, 2023 •
edited
Loading

The file prettytok.lua which is required for the prettytok package is placed in .../source/prettyok where tex cannot find it. Similarly for prettytok-decode-8bit.py.
@mbertucci47 mbertucci47 changed the title prettytok package file in wrong location prettytok package files in wrong location May 25, 2023
@stale stale bot added the wontfix label Aug 12, 2023
@MiKTeX MiKTeX deleted a comment from stale bot Aug 12, 2023
@edocevoli edocevoli added pinned and removed wontfix labels Aug 12, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
pinned
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@edocevoli @mbertucci47