% Copyright (C) 1992, Digital Equipment Corporation
% All rights reserved.
% See the file COPYRIGHT for a full description.
%
% Last modified on Wed Jan  6 18:13:13 PST 1993 by muller
%
\def\INDEX#1{\index{#1@{\protect\tt #1}!{in \protect\tt\INTF}}}
\def\beginindex#1{\gdef\INTF{#1}\index{#1 interface@{\protect\tt #1} interface|(}}
\def\endindex#1{\index{#1 interface@{\protect\tt #1} interface|)}}
