diff options
author | Hans Bolinder <[email protected]> | 2016-09-02 08:40:50 +0200 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2016-09-02 08:40:50 +0200 |
commit | 507016a45878f414951ce0d0b5e4417ccff9cd0e (patch) | |
tree | 5e266cd714f5c0410a53958c6c8a8d3c11697f5d /lib/parsetools/doc/src/yecc.xml | |
parent | 38daafda48a5d3ecc20eddc3372daeedbe152f0f (diff) | |
parent | db096ad15022ae4f9605fa42bf74780641dc6dac (diff) | |
download | otp-507016a45878f414951ce0d0b5e4417ccff9cd0e.tar.gz otp-507016a45878f414951ce0d0b5e4417ccff9cd0e.tar.bz2 otp-507016a45878f414951ce0d0b5e4417ccff9cd0e.zip |
Merge branch 'maint'
* maint:
doc: Correct errors introduced by Editorial changes
Diffstat (limited to 'lib/parsetools/doc/src/yecc.xml')
-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> |