HomeSort by: relevance | last modified time | path
    Searched refs:gloss2href (Results 1 - 4 of 4) sorted by relevancy

  /src/external/gpl2/gettext/dist/gettext-runtime/libasprintf/
texi2html 445 %gloss2href = (); # glossary term to HREF
1040 $gloss2href{$entry} = "$docu_doc#$id";
1293 $href = $gloss2href{$entry};
  /src/external/gpl2/gettext/dist/gettext-tools/doc/
texi2html 445 %gloss2href = (); # glossary term to HREF
1040 $gloss2href{$entry} = "$docu_doc#$id";
1293 $href = $gloss2href{$entry};
  /src/external/gpl3/gdb/dist/readline/readline/doc/
texi2html 2420 %gloss2href = (); # glossary term to HREF
3707 $gloss2href{$entry} = "$docu_doc#$id";
4315 $href = $gloss2href{$entry};
  /src/external/gpl3/gdb.old/dist/readline/readline/doc/
texi2html 2420 %gloss2href = (); # glossary term to HREF
3707 $gloss2href{$entry} = "$docu_doc#$id";
4315 $href = $gloss2href{$entry};

Completed in 19 milliseconds