X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=macro.tex;fp=macro.tex;h=a952fca60e983317e588cf8b8f3ed32ab6e6e823;hp=0138e51ca232d770b1dd6bda485b90bee47410dd;hb=ffb12837c5ed8ccc095bc9c88349cd19b5e6b472;hpb=a896c0a874a06d086369f5cc3c7e6cf347671835

diff --git a/macro.tex b/macro.tex
index 0138e51..a952fca 100644
--- a/macro.tex
+++ b/macro.tex
@@ -163,9 +163,10 @@
 \newcommand{\ctyp}[1]{\texttt{#1}}    % C standard type
 
 \newcommand{\headfile}[1]{%
-\index{file!include!{#1}@{{\tt {#1}}}}\texttt{#1}%
-%\index{#1@{{\tt {#1}} (direttiva)}}\texttt{#1}%
+%\index{file!include!{#1}@{{\tt {#1}}}}\texttt{#1}%
+\texttt{#1}%
 }                                     % header file name
+
 \newcommand{\procfile}[1]{%
 \index{file!filesystem~\texttt{/proc}!{#1}@{{\tt {#1}}}}\texttt{#1}%
 %\index{#1@{{\tt {#1}} (direttiva)}}\texttt{#1}%
@@ -218,10 +219,7 @@
 \newcommand{\acr}[1]{\textsl{#1}}     % acrostic (for glibc, ext2, ecc.)
 
 \newcommand{\ids}[1]{\textsl{#1}}     % Identifier (PID, GID, UID, TID, ecc.)
-
-
-
-
+\newcommand{\envvar}[1]{\texttt{#1}}   % environment variable
 
 \newcommand{\itindex}[1]{%
 \index{#1@{\textit{#1}}}%