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.

Sign up for GitHub

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

Jump to bottom

build: docs get built twice in "make install" #598

Closed
reidpr opened this issue Dec 20, 2019 · 1 comment
Closed

build: docs get built twice in "make install" #598

reidpr opened this issue Dec 20, 2019 · 1 comment
Assignees
@reidpr
Labels
bug
Milestone
0.22

Comments

@reidpr
Copy link
Collaborator

reidpr commented Dec 20, 2019 •
edited

But not make.

Follow-up to PR #589.
@reidpr reidpr mentioned this issue Jan 7, 2021
Merged
@reidpr reidpr removed the help wanted label Jan 7, 2021
@reidpr
Copy link
Collaborator Author

reidpr commented Jan 7, 2021

I think now we might also be getting multiple builds in just make. Certainly, two (cd doc && make) in a row builds the docs twice; it should only build them once, on the first invocation.

@reidpr reidpr added this to the 0.22 milestone Jan 7, 2021
@reidpr reidpr closed this as completed in a6b548f Jan 19, 2021
@reidpr reidpr self-assigned this Feb 8, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@reidpr reidpr

Labels
bug
Projects
None yet
Milestone
0.22
Development

No branches or pull requests
1 participant
@reidpr