Index: util/genref.sh
===================================================================
--- util/genref.sh	(revision 797)
+++ util/genref.sh	(revision 798)
@@ -110,7 +110,7 @@
 function genid(type, id)
 {
 	print "<a id=\"" id "\">"
-	print type, id, refname > fn_ref
+	print type, id, refname "#" id > fn_ref
 }
 
 BEGIN {