Skip to content

Conversation

@alexcrichton
Copy link
Member

I moved all documentation sources (guides, manuals, etc) to src/doc to free up doc as a build directory for all generated files.

At the same time, I also removed our usage of VPATH from the makefiles because it was wreaking havoc with doc deps and it's not very necessary now that we're primarily a rust project rather than having a good portion of C++/C inside of it.

@brson
Copy link
Contributor

brson commented Jan 28, 2014

Good idea moving the src to src/

@huonw
Copy link
Contributor

huonw commented Jan 29, 2014

Needs a rebase.

We generate documentation into the doc/ directory, so we shouldn't be
intermingling source files with generated files
This is just messing up all the doc dependencies because of such similar
directory names and file names.

Closes rust-lang#11422
This continues to generate all documentation into doc, but it now looks for
source files in src/doc

Closes rust-lang#11860
Closes rust-lang#11970
bors added a commit that referenced this pull request Feb 2, 2014
I moved all documentation sources (guides, manuals, etc) to `src/doc` to free up `doc` as a build directory for all generated files.

At the same time, I also removed our usage of `VPATH` from the makefiles because it was wreaking havoc with doc deps and it's not very necessary now that we're primarily a rust project rather than having a good portion of C++/C inside of it.
@bors bors closed this Feb 2, 2014
@alexcrichton alexcrichton deleted the docs branch February 5, 2014 00:10
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