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

document cmake install target in CHANGES #1189

Open
lsf37 opened this issue Feb 7, 2024 · 2 comments
Open

document cmake install target in CHANGES #1189

lsf37 opened this issue Feb 7, 2024 · 2 comments
Labels
docs Manual and other documentation

Comments

@lsf37
Copy link
Member

lsf37 commented Feb 7, 2024

Should mentioned which files are installed and where to expect them.
@lsf37 lsf37 added the docs Manual and other documentation label Feb 7, 2024
@Ivan-Velickovic
Copy link
Contributor

Since it's new in the release should it also go somewhere around here? https://docs.sel4.systems/projects/buildsystem/

@lsf37
Copy link
Member Author

lsf37 commented Feb 8, 2024

Yes, good idea. But only when the release comes out -- i.e. we could prepare a PR now, but should not merge it yet.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
docs Manual and other documentation
Projects
seL4 release 13.0
Status: Todo
Milestone
No milestone
Development

No branches or pull requests
2 participants
@lsf37 @Ivan-Velickovic