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

Extends docs with hint when migrating #239

Merged
merged 5 commits into from
Apr 21, 2023
Merged

Extends docs with hint when migrating #239

merged 5 commits into from
Apr 21, 2023

Conversation

funkyfuture
Copy link
Contributor

as mentioned in #238, here's a little docs extension for people who are switching from another theme. i made it collapsed by default as it could potentially grow. for now i'm setting my migration more or less aside, so that's all as first impression.

on that occasion, i think the docs could really benefit from a section for hackers. i noticed inconsistencies how admonitions are parsed and it took me a while to get a grip how i should set up a test for that. admittedly i'm not in best condition atm and then dealing with docutils is just too much of a pita.

docs/index.rst Outdated Show resolved Hide resolved
docs/index.rst Outdated Show resolved Hide resolved
@2bndy5 2bndy5 merged commit d91eacc into jbms:main Apr 21, 2023
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.

2 participants