# for html references and anchors anchor "$text" postline_reference "$text -> $infile:$linenum" postdoc_reference "$text -> $infile:$linenum" reference "$text"