From ed8ff85d2aec6b33be43faee5e85c1272bb1d4d0 Mon Sep 17 00:00:00 2001
From: "David Adam (zanchey)" <zanchey@ucc.gu.uwa.edu.au>
Date: Wed, 7 Aug 2013 11:26:57 +0800
Subject: [PATCH] accidentally reopened #943, fixed now

---
 doc_src/index.hdr.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc_src/index.hdr.in b/doc_src/index.hdr.in
index 050452410..26fc56967 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: