diff options
| author |  David Adam (zanchey) <zanchey@ucc.gu.uwa.edu.au> | 2013-08-07 11:26:57 +0800 |
|---|---|---|
| committer | David Adam (zanchey) <zanchey@ucc.gu.uwa.edu.au> | 2013-08-07 11:26:57 +0800 |
| commit | ed8ff85d2aec6b33be43faee5e85c1272bb1d4d0 (patch) | |
| tree | f4c38e42d390f4c50a44e449a547dbc42915db41 | |
| parent | b482cab7bea1f936f34eab6350f701f10f65784c (diff) | |
accidentally reopened #943, fixed now
| -rw-r--r-- | doc_src/index.hdr.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc_src/index.hdr.in b/doc_src/index.hdr.in index 05045241..26fc5696 100644 --- a/doc_src/index.hdr.in +++ b/doc_src/index.hdr.in @@ -795,7 +795,7 @@ To set the variable \c smurf_color to the value \c blue, use the command <code>set smurf_color blue</code>. After a variable has been set, you can use the value of a variable in -the shell through <a href="expand-variable">variable expansion</a>. +the shell through <a href="#expand-variable">variable expansion</a>. Example: |