Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Selective odoc forced rebuilds #44

Open
dbuenzli opened this issue Mar 8, 2019 · 0 comments
Open

Selective odoc forced rebuilds #44

dbuenzli opened this issue Mar 8, 2019 · 0 comments
Labels
enhancement

Comments

@dbuenzli
Copy link
Collaborator

dbuenzli commented Mar 8, 2019

odig cache clear is a bit too coarse grained, re-add the --force switch to odig odoc to force a rebuild of the docs of mentioned packages. This should naturally trickle down from b00 improvements.
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@dbuenzli