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

Build.pm6 should probably be deleted #3002

Closed
JJ opened this issue Sep 10, 2019 · 5 comments
Closed

Build.pm6 should probably be deleted #3002

JJ opened this issue Sep 10, 2019 · 5 comments
Labels
meta RFCs, general discussion, writing style, repository organization, etc.

Comments

@JJ
Copy link
Contributor

JJ commented Sep 10, 2019

The problem

It's in the main directory, I'm not sure it's used.

Suggestions

Check for hidden usage and delete it if it's no longer used.

@JJ
Copy link
Contributor Author

JJ commented Sep 10, 2019

It's used in p6doc, which is spun off...

@JJ JJ added the meta RFCs, general discussion, writing style, repository organization, etc. label Sep 12, 2019
@coke
Copy link
Collaborator

coke commented Jul 24, 2020

It's a part of the install process with zef. see #3206

@JJ
Copy link
Contributor Author

JJ commented Jul 25, 2020

Yep, but still, it's only used in p6doc, which is now in another repo. So probably should be removed.

@coke
Copy link
Collaborator

coke commented Apr 16, 2022

I need a pointer to how the install of docs from this repo is supposed to work with the now-separated p6doc tool, so I can figure out what's left for installation in this repo. My expectation was that we would still be installing these docs so that p6doc could find them, and there are other tickets in this repo for fixing the install process in general.

@coke
Copy link
Collaborator

coke commented Nov 16, 2022

The correct issue is: "Do we want to install the documentation" from this repo;

If yes, we'll update the Build.pm to address it. If not, we'll update it to error out if someone tries to do an install.

There are other issues tracking that question.

@coke coke closed this as completed Nov 16, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
meta RFCs, general discussion, writing style, repository organization, etc.
Projects
None yet
Development

No branches or pull requests

2 participants