diff options
| author | Hans Bolinder <[email protected]> | 2016-09-01 14:32:27 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2016-09-01 14:34:41 +0200 |
| commit | ad6e765bcd4f35a282ef00e38ed9129f3a5c1d83 (patch) | |
| tree | dce52cd33489c8ed539024c24ba7f54dbc442ab1 /lib/parsetools | |
| parent | c9f92612b6fb0b4e0fc0c098b2f5b35a4508ae8a (diff) | |
| download | otp-ad6e765bcd4f35a282ef00e38ed9129f3a5c1d83.tar.gz otp-ad6e765bcd4f35a282ef00e38ed9129f3a5c1d83.tar.bz2 otp-ad6e765bcd4f35a282ef00e38ed9129f3a5c1d83.zip | |
doc: Correct errors introduced by Editorial changes
Fix some older errors as well.
Diffstat (limited to 'lib/parsetools')
| -rw-r--r-- | lib/parsetools/doc/src/yecc.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/parsetools/doc/src/yecc.xml b/lib/parsetools/doc/src/yecc.xml index 6ec9fb5f0e..9188bd2a22 100644 --- a/lib/parsetools/doc/src/yecc.xml +++ b/lib/parsetools/doc/src/yecc.xml @@ -201,7 +201,7 @@ <p>The grammar starts with an optional <c>header</c> section. The header is put first in the generated file, before the module declaration. The purpose of the header is to provide a means to - make the documentation generated by <c>EDoc</c> look nicer. Each + make the documentation generated by EDoc look nicer. Each header line should be enclosed in double quotes, and newlines will be inserted between the lines. For example:</p> <code> |