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

adding docset to files copied into gh-pages dir #1478

Closed
wants to merge 2 commits into from

Conversation

heckj
Copy link

@heckj heckj commented Apr 13, 2020

adding docset to files copied into gh-pages dir

Motivation:

I noticed the missing link when perusing swift-metrics, and after having submitted a fix there, I was told the same script was used here, so I thought it might be convenient to have the same fix (apple/swift-metrics#69) propagated here.

Modifications:

added a line to copy the docset files in addition to the docs

Result:

Future updates should also include docset files for swift-metrics on
additional publications to gh-pages by authors.

@swift-server-bot
Copy link

Can one of the admins verify this patch?

9 similar comments
@swift-server-bot
Copy link

Can one of the admins verify this patch?

@swift-server-bot
Copy link

Can one of the admins verify this patch?

@swift-server-bot
Copy link

Can one of the admins verify this patch?

@swift-server-bot
Copy link

Can one of the admins verify this patch?

@swift-server-bot
Copy link

Can one of the admins verify this patch?

@swift-server-bot
Copy link

Can one of the admins verify this patch?

@swift-server-bot
Copy link

Can one of the admins verify this patch?

@swift-server-bot
Copy link

Can one of the admins verify this patch?

@swift-server-bot
Copy link

Can one of the admins verify this patch?

@Lukasa
Copy link
Contributor

Lukasa commented Apr 14, 2020

@swift-nio-bot test this please

@@ -108,6 +108,7 @@ if [[ $PUSH == true ]]; then
rm -rf "docs/$version"
rm -rf "docs/current"
cp -r "$jazzy_dir/docs/$version" docs/
cp -r "$jazzy_dir/docset/$version" docset/
Copy link
Member

Choose a reason for hiding this comment

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

iirc the better fix would be to remove the --docset-path argument. I originally added it so that the docset won't be included in what we push to gh-pages. the reason was size - this is quite big and make the repo fairly heavy afaict.

Copy link
Author

Choose a reason for hiding this comment

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

Makes sense - worked for me, and should be pretty straightforward to do. I'll update the PR tomorrow for that.

Copy link
Member

Choose a reason for hiding this comment

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

@tomerd size considerations are real. I think @gwynne was already saying that NIO takes a very long time to check out?

Should we maybe start moving the generated docs to a different repository?

Copy link
Member

@tomerd tomerd Apr 15, 2020

Choose a reason for hiding this comment

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

yes, this is what I wanted to suggest. we can potentially also post docs to s3 and serve them up from there, or a separate git repo can also work.

Copy link
Member

Choose a reason for hiding this comment

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

ping @weissi wdyt?

Copy link
Member

Choose a reason for hiding this comment

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

@tomerd I'm 100% in favour of S3 or separate repo. I feel you're much better positioned to choose what the best option is. If we can keep the generated docs outside this repo, I'd be happier :)

@Lukasa Lukasa modified the milestones: 2.17.0, 2.18.0 May 12, 2020
@Lukasa Lukasa modified the milestones: 2.18.0, 2.19.0 Jun 23, 2020
@PeterAdams-A PeterAdams-A modified the milestones: 2.19.0, 2.20.0 Jun 30, 2020
@Lukasa Lukasa changed the base branch from master to main September 24, 2020 15:08
@heckj heckj closed this Oct 31, 2020
@heckj heckj deleted the docset-addition-to-docs branch October 31, 2020 19:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🔨 semver/patch No public API change.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants