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

Port Docs to .rst #2016

Merged
merged 5 commits into from
Feb 15, 2017
Merged

Port Docs to .rst #2016

merged 5 commits into from
Feb 15, 2017

Conversation

fosskers
Copy link
Contributor

@fosskers fosskers commented Feb 14, 2017 •
edited
Loading

TODO

Motivation

#1967 . It turns out that RTD search just doesn't work for projects based on mkdocs, which we currently are.

@fosskers
(docs) md -> rst [skip ci]
8d6e8ab 
- This gives us nested TOCs for easier navigation
- This should also fix #1967
@fosskers fosskers changed the title Port Docs to .rst [WIP] Port Docs to .rst Feb 14, 2017
@fosskers fosskers changed the title [WIP] Port Docs to .rst Port Docs to .rst Feb 14, 2017
@echeipesh echeipesh merged commit e2d7bb1 into master Feb 15, 2017
@fosskers
Copy link
Contributor Author

fosskers commented Feb 15, 2017 •
edited
Loading

RTD latest now points to this repo's master again, as it originally did. Being able to point latest at different branches is handy for testing. The setting ("default branch") can be found under Advanced Settings in RTD's Admin panel.

@fosskers fosskers deleted the docs/port-to-rst branch February 15, 2017 19:51
@lossyrob lossyrob added this to the 1.1 milestone Mar 12, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@echeipesh echeipesh echeipesh approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
1.1
Development

Successfully merging this pull request may close these issues.

None yet
4 participants
@fosskers @echeipesh @lossyrob @pomadchin