docker
/
docs
mirror of https://github.com/docker/docs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

make docs - isn't this outdated ? (#1443) 

make doesn't seem to have docs target anymore so should I change the docs ?
This commit is contained in:
krasi-georgiev 2017-01-31 14:44:01 +02:00 committed by John Mulhausen
parent 633c5b07e0
commit 5f8c3c1124
1 changed files with 2 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
opensource/workflow/create-pr.md
View File

@ -31,11 +31,7 @@ Before you create a pull request, check your work.
All the tests should pass. If they don't, find out why and correct the
situation.
4. Optionally, if modified the documentation, build the documentation:
$ make docs
5. Commit and push any changes that result from your checks.
4. Commit and push any changes that result from your checks.
## Rebase your branch
@ -128,4 +124,4 @@ You create and manage PRs on GitHub:
Congratulations, you've created your first pull request to Docker. The next
step is for you learn how to [participate in your PR's
review](review-pr.md).
review](review-pr.md).