Skip to content

build(docs): do not run docs Makefile target if no changes in docs/source; remove the check and test dependencies from the docs target#560

Merged
behnazh merged 1 commit into
stagingfrom
improve-make-docs
Jul 22, 2023
Merged

build(docs): do not run docs Makefile target if no changes in docs/source; remove the check and test dependencies from the docs target#560
behnazh merged 1 commit into
stagingfrom
improve-make-docs

Conversation

@behnazh
Copy link
Copy Markdown
Collaborator

@behnazh behnazh commented Jun 4, 2023

This PR improves the docs target in the Makefile to check for changes to source files under docs/source directory. It also removes the check and test dependencies from the docs target.

@behnazh behnazh requested a review from jenstroeger as a code owner June 4, 2023 21:34
Copy link
Copy Markdown
Owner

@jenstroeger jenstroeger left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This looks quite related to the changes in PR #543?

Comment thread Makefile
@behnazh behnazh force-pushed the improve-make-docs branch from 13d62ef to 0b48d87 Compare July 22, 2023 10:43
@behnazh behnazh changed the title build(docs): check changes to rst files in Makefile build(docs): do not run docs Makefile target if no changes in docs/source; remove the check and test dependencies from the docs target Jul 22, 2023
…urce; remove the check and test dependencies from the docs target
@behnazh behnazh force-pushed the improve-make-docs branch from 0b48d87 to 24a531a Compare July 22, 2023 10:55
@behnazh behnazh merged commit 43c78b7 into staging Jul 22, 2023
@jenstroeger jenstroeger deleted the improve-make-docs branch September 2, 2023 09:01
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