Fix command to build docs in installation documentation

Change I1ad04bd renamed the `doc` environment to `docs` but did
not update the documentation.

Change-Id: I63cb324f222a40e91b21cc0d3b569b6352bf88b3