\newcommand{\headfiled}[1]{%
\index{file!include!{#1}@{{\tt {#1}}}}\texttt{#1}%
} % header file name
\newcommand{\procfile}[1]{%
\index{file!filesystem~\texttt{/proc}!{#1}@{{\tt {#1}}}}\texttt{#1}%
\newcommand{\headfiled}[1]{%
\index{file!include!{#1}@{{\tt {#1}}}}\texttt{#1}%
} % header file name
\newcommand{\procfile}[1]{%
\index{file!filesystem~\texttt{/proc}!{#1}@{{\tt {#1}}}}\texttt{#1}%