Skip to content

Conversation

tsudukim
Copy link
Contributor

Modified to ignore not the docs/ directory, but only the docs/_build/ which is the output directory of sphinx build.

Modified to ignore not the docs/ directory, but only the docs/_build/ which is the output directory of sphinx build.
@AmplabJenkins
Copy link

Can one of the admins verify this patch?

@ScrapCodes
Copy link
Member

Yeah docs should not be in gitignore. LGTM. (running jenkins appears to be wasteful)

@andrewor14
Copy link
Contributor

Ok, I'm merging this into master.

@asfgit asfgit closed this in 7ced88b Oct 14, 2014
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.

4 participants