diff options
| author | Alexander Bluhm <[email protected]> | 2017-03-09 17:54:41 +0100 |
|---|---|---|
| committer | Alexander Bluhm <[email protected]> | 2017-03-09 17:54:41 +0100 |
| commit | 1aa18e38866b4004cfeabfdcc14635496770f432 (patch) | |
| tree | 5c0c7fe3827a9f4aa059d51973da41de00d2b1f7 /doc/manual | |
| parent | 9961e475f10a671a8e25080958d26c8c356057ef (diff) | |
Document --with-build-dir correctly in building manual.
Diffstat (limited to 'doc/manual')
| -rw-r--r-- | doc/manual/building.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual/building.rst b/doc/manual/building.rst index 9c0dc0ab1..d13cabd35 100644 --- a/doc/manual/building.rst +++ b/doc/manual/building.rst @@ -310,7 +310,7 @@ Multiple Builds ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ It may be useful to run multiple builds with different configurations. -Specify ``--build-dir=<dir>`` to set up a build environment in a +Specify ``--with-build-dir=<dir>`` to set up a build environment in a different directory. Setting Distribution Info |