diff options
Diffstat (limited to 'docs/index.html')
| -rw-r--r-- | docs/index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/index.html b/docs/index.html index 2137ca26f..d4fe9649a 100644 --- a/docs/index.html +++ b/docs/index.html @@ -2840,7 +2840,7 @@ instead.</p> </tr> <tr> <td valign="top">sourcefiles</td> - <td valign="top">Space separated list of source files</td> + <td valign="top">Comma separated list of source files</td> <td align="center" valign="top">all</td> <td align="center" valign="middle" rowspan="2">at least one of the two</td> </tr> |