Skip to content

Fix build creating placeholders for missing docs #9721

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
Closed
javiereguiluz wants to merge 3 commits into from
Closed

Fix build creating placeholders for missing docs #9721

javiereguiluz wants to merge 3 commits into from

Conversation

@javiereguiluz
Copy link
Member

@javiereguiluz javiereguiluz commented May 2, 2018

We must remove these references until #9340 is merged.

@javiereguiluz javiereguiluz added this to the 2.7 milestone May 2, 2018
@javiereguiluz javiereguiluz changed the title Remove references to non-existent docs to fix build Fix build creating placeholders for missing docs May 2, 2018
javiereguiluz added a commit that referenced this pull request May 2, 2018
@javiereguiluz
minor #9721 Fix build creating placeholders for missing docs (javiere…
326419c 
…guiluz)

This PR was squashed before being merged into the 2.7 branch (closes #9721).

Discussion
----------

Fix build creating placeholders for missing docs

We must remove these references until #9340 is merged.

Commits
-------

362210e Fix build creating placeholders for missing docs
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

bug Status: Needs Review

Projects

None yet

Milestone

2.7

Development

Successfully merging this pull request may close these issues.

2 participants

@javiereguiluz @carsonbot