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

Restore docs generation + lr updates #2087

Merged
merged 4 commits into from
Oct 4, 2023
Merged

Restore docs generation + lr updates #2087

merged 4 commits into from
Oct 4, 2023

Conversation

tas50
Copy link
Member

@tas50 tas50 commented Oct 4, 2023

  • Get make working for docs generation
  • Backport some missing fixes in LR files that went into v8

@tas50 tas50 force-pushed the tas50/docs_generation branch 2 times, most recently from bce4744 to 249ba16 Compare October 4, 2023 21:17
- Get make working for docs generation
- Backport some missing fixes in LR files that went into v8

Signed-off-by: Tim Smith <[email protected]>
@tas50 tas50 force-pushed the tas50/docs_generation branch from 249ba16 to 394cf70 Compare October 4, 2023 21:26
Copy link
Member

@arlimus arlimus left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you for updating this!

@tas50 tas50 merged commit f601fb7 into main Oct 4, 2023
@tas50 tas50 deleted the tas50/docs_generation branch October 4, 2023 23:33
@github-actions github-actions bot locked and limited conversation to collaborators Oct 4, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants