diff options
| -rw-r--r-- | doc/lispref/debugging.texi | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/lispref/debugging.texi b/doc/lispref/debugging.texi index 0ccac18057c..47b24997551 100644 --- a/doc/lispref/debugging.texi +++ b/doc/lispref/debugging.texi @@ -815,6 +815,7 @@ be cleaner to combine them. @node Profiling @section Profiling @cindex profiling +@cindex profile @cindex measuring resource usage @cindex memory usage |