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

Allow customisation of install target #42

Closed
josephwright opened this issue Dec 21, 2017 · 1 comment
Closed

Allow customisation of install target #42

josephwright opened this issue Dec 21, 2017 · 1 comment
Assignees
@josephwright
Labels
enhancement
Projects
Refactor

Comments

@josephwright
Copy link
Member

For people who want to use multiple trees, it would be sensible to make texmfhome public.
@josephwright josephwright self-assigned this Dec 21, 2017
@josephwright josephwright added this to To Do in Refactor Dec 21, 2017
@josephwright
Copy link
Member Author

This probably can't be set by adjusting the build.lua script: it's a user not repo factor. So it needs an additional switch: I'll add one.

Refactor automation moved this from To Do to Done Dec 25, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@josephwright josephwright

Labels
enhancement
Projects
No open projects
Refactor
  
Done
Milestone
No milestone
Development

No branches or pull requests
1 participant
@josephwright