Browse files

Fix documentation

  • Loading branch information...
1 parent 86ec3db commit 29e58debac6a15a3af853487c6e2fe965333962e @dcolish committed Feb 10, 2012
Showing with 3 additions and 3 deletions.
  1. +3 −3 docs/index.rst
6 docs/index.rst
@@ -71,11 +71,11 @@ Begin activating your install::
Now you will have the commands required to run Cockerel and Coqd in
your path. To start Cockerel run::
- cockerel
+ python runserver
To start Coqd run::
- coqd
+ python coqd
The Cockerel webpage will be at http://localhost:5000 by default. Note
that both of these commands will run in the foreground of your

0 comments on commit 29e58de

Please sign in to comment.