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

Added sitemap to robots.txt #1963

Merged
merged 1 commit into from Aug 27, 2021
Merged

Conversation

Darylgolden
Copy link
Member

Overview: What does this pull request change?

I noticed that the sitemap information wasn't added automatically to robots.txt for the documentation now that we're defining it ourselves. This PR adds it, just in case.

Motivation and Explanation: Why and how do your changes improve the library?

Links to added or changed documentation pages

Further Information and Comments

Reviewer Checklist

  • The PR title is descriptive enough for the changelog, and the PR is labeled correctly
  • If applicable: newly added non-private functions and classes have a docstring including a short summary and a PARAMETERS section
  • If applicable: newly added functions and classes are tested

@behackl behackl added the documentation Improvements or additions to documentation label Aug 27, 2021
@behackl behackl changed the title Add sitemap to robots.txt Added sitemap to robots.txt Aug 27, 2021
@behackl behackl changed the title Added sitemap to robots.txt Added sitemap to robots.txt Aug 27, 2021
@behackl behackl merged commit 5698b48 into ManimCommunity:main Aug 27, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants