diff options
| author | iamsi <me@i-am.si> | 2018-10-29 13:32:53 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-29 13:32:53 +0000 |
| commit | f178163217b905d87b439ba7f0a5e014c54b431c (patch) | |
| tree | d613db9f5e746c944786d67c3ea14bc7ffbabb6c /doc | |
| parent | 889e4869f9880fb4a782e1c753a5a7e8014ac72d (diff) | |
Fix typo in build instructions
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/user.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user.rst b/doc/user.rst index b050fb4eb..85b2446ce 100644 --- a/doc/user.rst +++ b/doc/user.rst @@ -89,7 +89,7 @@ Now configure the source tree: .. code-block:: none - meson . output/release --buildtype=debugpotimized -Db_ndebug=true + meson . output/release --buildtype=debugoptimized -Db_ndebug=true The following command shows a list of compile-time options: |