- char hexdigit[16] = { '0', '1', '2', '3', '4', '5', '6', '7',
- '8', '9', 'A', 'B', 'C', 'D', 'E', 'F' };
- string enc;
- for (string::size_type i = 0; i < lab.length(); ++i) {
- unsigned char c= lab[i];
- if (c >= 128 || c == '=' || c == '%') {
- enc += '=';
- enc += hexdigit[c>>4];
- enc += hexdigit[c & 15];
- } else {
- enc += c;
- }
+ if (getOptions().empty()) {
+ os << "<xref linkend=\"" << getContents() << "\">";
+ } else {
+ os << "<link linkend=\"" << getContents()
+ << "\">" << getOptions() << "</link>";