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

Provide the source file name to the JS in readthedocs theme #721

Merged
merged 1 commit into from
Sep 22, 2015

Conversation

gregmuellegger
Copy link
Contributor

readthedocs.org needs the file name in order to identify the correct source file to link to the same file in other versions of the same documentation or to the source on GitHub.

See readthedocs/readthedocs.org#1480 for more information.

readthedocs.org needs the file name in order to identify the correct source
file to link to the same file in other versions of the same documentation or
to the source on GitHub.

Related readthedocs/readthedocs.org#1480
gregmuellegger added a commit to readthedocs/readthedocs.org that referenced this pull request Sep 7, 2015
The problem was that we didn't had access to the correct page name (the
relative path to the source file without the .md suffix).

In order for this fix to work mkdocs needs to integrate mkdocs/mkdocs#721 and
create a new release.
gregmuellegger added a commit to readthedocs/readthedocs.org that referenced this pull request Sep 7, 2015
The problem was that we didn't had access to the correct page name (the
relative path to the source file without the .md suffix).

In order for this fix to work mkdocs needs to integrate mkdocs/mkdocs#721 and
create a new release.
@d0ugal
Copy link
Member

d0ugal commented Sep 8, 2015

Looks fine to me. Was mkdocs_page_url not useful? We can remove that if it didn't help.

@gregmuellegger
Copy link
Contributor Author

Hi, the mkdocs_page_url was kind of the right thing, but not completely. We use the input_path now by splitting away the file suffix. And what is left is the value we need in readthedocs.

With the page url we would propably be able to get to the same value by stripping the leading and trailing slash, but that feels to dirty and might break if mkdocs once decides that it will append index.html to every URL or anything similiar.

You can remove the mkdocs_page_url if you want, but I assume it won't hurt to keep it around.

d0ugal added a commit that referenced this pull request Sep 22, 2015
Provide the source file name to the JS in readthedocs theme
@d0ugal d0ugal merged commit 3c6a66b into mkdocs:master Sep 22, 2015
@d0ugal
Copy link
Member

d0ugal commented Sep 22, 2015

Sorry for the delay in getting back to this. Thanks - I'll try and get a release out soon.

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