Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Publish to GitHub Pages #135

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

Merged
DirectXMan12 merged 3 commits into master from infra/github-pages-docs
Nov 30, 2017
Merged

Publish to GitHub Pages #135

DirectXMan12 merged 3 commits into master from infra/github-pages-docs
Nov 30, 2017

Conversation

Copy link
Member

@DirectXMan12 DirectXMan12 commented Nov 30, 2017

This commit switches our docs publishing over to GitHub pages,
since publishing to pythonhosted.org is now deprecated.

Every push to master (or an infra/ branch for testing) will push
documentation to the /latest subdirectory of the gh-pages site,
while every tag build will push to the /stable directory.

Copy link
Member Author

DirectXMan12 commented Nov 30, 2017
edited
Loading

@frozencemetery 📜

Check it out:

Currently doing a test release (tagged v1.2.4-alpha.1), and then once this materged we can tag v1.2.4 proper.

Copy link
Member Author

Copy link
Member Author

ah, the centos install failed on the PR build (mirror issue), but passed on the tag build. This loosk good to go.

The version of the Sphinx RTD theme that we were using
was missing a font file in all but the beta version.
We explicitly ask for the beta version to solve this issue.
The old pythonhosted.org docs hosting is deprecated now, so we needed
a new hosting site. Unfortunately, RTD can't handle our use cases
(customizations, requiring C libraries). Instead, we use GitHub pages.
Every push to master (or an `infra/` branch for testing) will push
documentation to the `/latest` subdirectory of the gh-pages site,
while every tag build will push to the `/stable` directory.
@DirectXMan12 DirectXMan12 merged commit 3b606a2 into master Nov 30, 2017
@DirectXMan12 DirectXMan12 deleted the infra/github-pages-docs branch November 30, 2017 20:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
1 more reviewer

@frozencemetery frozencemetery frozencemetery approved these changes

Reviewers whose approvals may not affect merge requirements
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

AltStyle によって変換されたページ (->オリジナル) /