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

Start watching more resources when using make dev: /src, and non-rST files #99

Merged
merged 1 commit into from
Jul 27, 2023

Conversation

amotl
Copy link
Member

@amotl amotl commented Jul 21, 2023

About

Following up on crate/crate-docs-theme#379, this patch intends to improve Sphinx autobuild handling.

Now, when working on resources within a repository's top-level /src directory, they will be eligible to trigger a documentation rebuild when using sphinx-autobuild by invoking make dev. This is specifically important when working on crate-docs-theme.

Details

  • Also watch the top-level /src directory
  • Extend the list of considered filename extensions to Markdown, HTML, and Python

@amotl amotl changed the title Improve AUTOBUILD_OPTS Start watching more resources when using make dev: /src, and non-rST files Jul 21, 2023
@amotl amotl mentioned this pull request Jul 21, 2023
- Also watch the top-level `/src` directory
- Extend the list of considered filename extensions to Markdown, HTML,
  and Python
@amotl amotl merged commit cc82c37 into main Jul 27, 2023
6 checks passed
@amotl amotl deleted the amo/improve-autobuild branch July 27, 2023 16:54
surister pushed a commit to surister/crate-docs that referenced this pull request Jan 18, 2024
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.

3 participants