diff options
author | Arnold D. Robbins <arnold@skeeve.com> | 2016-04-02 22:35:33 +0300 |
---|---|---|
committer | Arnold D. Robbins <arnold@skeeve.com> | 2016-04-02 22:35:33 +0300 |
commit | 2ca6fd0026a03da5ac6a658fd744f90dde374ce5 (patch) | |
tree | 46bd99d83e7a071e345e4a660ba22391c1bbccd6 /doc/gawk.texi | |
parent | e03ebf24e322d0aa14bfc0f8b427861a80b71b64 (diff) | |
parent | 80841bfbe180589bfc3d66d15792994d28490702 (diff) | |
download | egawk-2ca6fd0026a03da5ac6a658fd744f90dde374ce5.tar.gz egawk-2ca6fd0026a03da5ac6a658fd744f90dde374ce5.tar.bz2 egawk-2ca6fd0026a03da5ac6a658fd744f90dde374ce5.zip |
Merge branch 'master' into feature/cmake
Diffstat (limited to 'doc/gawk.texi')
-rw-r--r-- | doc/gawk.texi | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/doc/gawk.texi b/doc/gawk.texi index fb05d522..8c515a32 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -28331,7 +28331,12 @@ There is a significant difference between the output created when profiling, and that created when pretty-printing. Pretty-printed output preserves the original comments that were in the program, although their placement may not correspond exactly to their original locations in the -source code. +source code.@footnote{@command{gawk} does the best it can to preserve +the distinction between comments at the end of a statement and comments +on lines by themselves. Due to implementation constraints, it does not +always do so correctly, particularly for @code{switch} statements. The +@command{gawk} maintainers hope to improve this in a subsequent +release.} However, as a deliberate design decision, profiling output @emph{omits} the original program's comments. This allows you to focus on the |