Shorten the section title.

diff --git a/Doc/lib/libcommands.tex b/Doc/lib/libcommands.tex
index cb00b2fcba4096ff2c358e1f7401bc1ee99b84f7..74e7023a791a1ab5463c5d148040a574d03c2203 100644 (file)
--- a/Doc/lib/libcommands.tex
+++ b/Doc/lib/libcommands.tex
@@ -1,5 +1,5 @@
 \section{\module{commands} ---
-         Utility functions for external commands}
+         Utilities for running commands}
 
 \declaremodule{standard}{commands}
   \platform{Unix}