Document $INCLUDE()

git-svn-id: svn://katsu.triplehelix.org/dgamelaunch/trunk@614 db0b04b0-f4d1-0310-9a6d-de3e77497b0e

diff --git a/examples/dgamelaunch.conf b/examples/dgamelaunch.conf
index 364225e897e29f3f283c7eef95a4101a873bcb9f..a5f92c063f7ae08028a239c666a7851b72c55167 100644 (file)
--- a/examples/dgamelaunch.conf
+++ b/examples/dgamelaunch.conf
@@ -57,6 +57,7 @@ bannervars = [ "$MOTDTIME" = "2011.10.08",
 # - bannervars from above
 # - $VERSION replaced with "dgamelaunch v" + dgl version number.
 # - $USERNAME replaced with logged-in user's name, or with "[Anonymous]"
+# - $INCLUDE(filename) the named file will be inserted here.
 banner = "/dgl-banner"
 
 # The following two options are fairly insecure. They will force us to