make docs is more consistent

master
Sven Dowideit 2013-12-11 10:14:56 +10:00 committed by Tibor Vass
parent 3091ba88fa
commit 2d576ea3b6
1 changed files with 1 additions and 1 deletions

View File

@ -57,7 +57,7 @@ docs inside the container, even starting a simple HTTP server on port
8000 so that you can connect and see your changes.
In the ``docker`` source directory, run:
```make doc```
```make docs```
This is the equivalent to ``make clean server`` since each container starts clean.