5.4.2.3 Link types for hypertex

name

Go to a “named destination”. The label is the destination name. All destinations in HyperTeX are named destinations. This is the default type.

Example: \hlstart{name}{}{dest123}Link to dest123\hlend

url

Go to a URL. The label is the URL.

Example:

          \hlstart{url}{}{http://tug.org/eplain/}Eplain home\hlend
     

filename

Go to a named destination in another file. The label is the destination name. The file name is specified by the file option. The file name extension can be specified separately by the ext option. The idea is to set the ext option globally at the beginning of the document to avoid hard-coding the extension together with the file name within each link—HyperTeX is not restricted to any single output format, it can be DVI, PDF, possibly other formats.

Example:

          \hlopts{ext=.pdf}
          \hlstart{filename}{file=book}{dest123}
            Link to dest123 in file `book.pdf'\hlend
     

raw

The link specification (in the form of a HyperTeX \special) is taken from the command sequence \cs, where cs is the value of the cmd option. In the definition of \cs, use \@hllabel to refer to the hyperlink label. Use the predefined command \hlhash to insert the # characters. This option is intended to be used with linkgroups (see Setting hyperlink types and options), as it does not make sense in a direct call to \hlstart—you can just call the raw command.

Example:

          \makeatletter
          \def\mylink{\special{html:<a href="\hlhash\@hllabel">}}
          \resetatcatcode
          \hlstart{raw}{cmd=mylink}{SpecialDest}
            Link to the special destination.\hlend