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.

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

Result of make doc is confusing #14705

Closed
kmcallister opened this issue Jun 6, 2014 · 2 comments
Closed

Result of make doc is confusing #14705

kmcallister opened this issue Jun 6, 2014 · 2 comments

Comments

@kmcallister
Copy link
Contributor 

make: Nothing to be done for `doc'.

That's because doc refers just to the directory of that name. The PHONY docs target is named docs.

I don't know what exactly to do about this, but it's confusing.
@duckinator
Copy link

Adding a line to the Makefile that says doc: docs will make them equivalent, if that's what's wanted.

@steveklabnik
Copy link
Member

I think that should be fine. Let's see! Thank you!

steveklabnik added a commit to steveklabnik/rust that referenced this issue Sep 2, 2015
@steveklabnik
Introduce 'make doc' -> 'make docs'
1aa7855 
Because 'doc' is a directory, when running `make doc`, you'll see
this:

    make: Nothing to be done for `doc'.

By adding a target for `doc` to build `docs`, both work.

Fixes rust-lang#14705
@steveklabnik steveklabnik mentioned this issue Sep 2, 2015
Merged
steveklabnik added a commit to steveklabnik/rust that referenced this issue Sep 3, 2015
@steveklabnik
Introduce 'make doc' -> 'make docs'
7c8c72d 
Because 'doc' is a directory, when running `make doc`, you'll see
this:

    make: Nothing to be done for `doc'.

By adding a target for `doc` to build `docs`, both work.

Fixes rust-lang#14705
bors added a commit that referenced this issue Sep 3, 2015
@bors
Auto merge of #28174 - steveklabnik:gh14705, r=alexcricton
69c3b39 
Because 'doc' is a directory, when running `make doc`, you'll see
this:

    make: Nothing to be done for `doc'.

By adding a target for `doc` to build `docs`, both work.

Fixes #14705
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@steveklabnik @duckinator @kmcallister