diff --git a/doc/config.html b/doc/config.html
index 65f13803..eaf71344 100755
--- a/doc/config.html
+++ b/doc/config.html
@@ -1063,11 +1063,21 @@ text. This text can contain arbitrary fixed text and following values:
$logbook: The name of the current logbook
$date: The current date, formatted via "Date format"
$utcdate: The current UTC date (GMT) and time, formatted via "Date format"
+$shell(<command>): <command> gets passed to the operating system shell
+ and the result is taken for substitution.
Following example use this feature to add the remote host name to the author:
Subst Author = $author from $remote_host
+
+
+Following example substitutes an attribute with the contents of a file:
+
+
+ Subst Info = $shell(cat /tmp/filename) (Unix)
+ Subst Info = $shell(type c:\tmp\filename) (Windows)
+
Remove on reply = <list>