diff options
| author | unknown <paul@teton.kitebird.com> | 2002-09-21 19:07:07 -0500 |
|---|---|---|
| committer | unknown <paul@teton.kitebird.com> | 2002-09-21 19:07:07 -0500 |
| commit | 15112e43164d492aa90507e7e3519d7753aa7530 (patch) | |
| tree | 504e54f87319fbad56a5f955e7a9b8c1819b11fb /Docs | |
| parent | 3e55ff618d2866f85b6a17b434e211cb3b86d129 (diff) | |
| download | mariadb-git-15112e43164d492aa90507e7e3519d7753aa7530.tar.gz | |
manual.texi Fix typo in option name.
Docs/manual.texi:
Fix typo in option name.
Diffstat (limited to 'Docs')
| -rw-r--r-- | Docs/manual.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Docs/manual.texi b/Docs/manual.texi index 9320c320219..fdf44871865 100644 --- a/Docs/manual.texi +++ b/Docs/manual.texi @@ -14738,7 +14738,7 @@ If you need to do this more permanently, you should create an option file for each server. @xref{Option files}. In your startup script that is executed at boot time you should specify for both servers: -@code{safe_mysqld --default-file=path-to-option-file} +@code{safe_mysqld --defaults-file=path-to-option-file} At least the following options should be different per server: |