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

Support for sphinx-tabs extension #191

Merged
merged 1 commit into from Nov 12, 2019
Merged

Conversation

hidmic
Copy link

@hidmic hidmic commented Nov 12, 2019

Closes #187. Depends on a sphinx-tabs fork of mine. As a proof of proper functionality, see below:

sphinx-tabs

Signed-off-by: Michel Hidalgo <michel@ekumenlabs.com>
@hidmic hidmic requested a review from tfoote November 12, 2019 18:31
@hidmic hidmic changed the title Support for sphinx-tabs extension. Support for sphinx-tabs extension Nov 12, 2019
@dirk-thomas
Copy link
Member

Is it feasible to upstream your change?

@hidmic
Copy link
Author

hidmic commented Nov 12, 2019

Is it feasible to upstream your change?

I can send a PR upstream and wait. We also do not know how often the author / maintainer / owner releases. Edit: see executablebooks/sphinx-tabs#53.

@hidmic
Copy link
Author

hidmic commented Nov 12, 2019

Ok, I'll merge this to get things going and make a follow-up PR when and if the patch is accepted upstream and released to PyPi.

@hidmic hidmic merged commit 8442a0a into ros2 Nov 12, 2019
@hidmic hidmic deleted the hidmic/support-sphinx-tabs branch November 12, 2019 21:43
tfoote added a commit that referenced this pull request May 13, 2021
Partial rollback of #191
This relies on ros2/ros2_documentation#1518

Our fork is out of date and isn't compatible with the new 4.x sphinx
@tfoote tfoote mentioned this pull request May 13, 2021
tfoote added a commit that referenced this pull request May 13, 2021
Partial rollback of #191
This relies on ros2/ros2_documentation#1518

Our fork is out of date and isn't compatible with the new 4.x sphinx
tfoote added a commit to tfoote/sphinx-tabs that referenced this pull request May 13, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

sphinx-tabs don't work
3 participants