fix formatting

Author: Vladimir Kotal

intro.tex

@@ -2196,10 +2196,9 @@
 \sltitle{Processing long options}
 \setlength{\baselineskip}{0.8\baselineskip}
 \begin{itemize}
-\item first appeared in GNU library \texttt{libiberty}: 
-\begin{verbatim}
-      --name or --name=value
-\end{verbatim}
+\item first appeared in GNU library \texttt{libiberty}:
+
+\verb#--name# or \verb#--name=value#
 \item the arguments are permuted so that e.g.
 \verb#ls * -l# is the same as \verb#ls -l *#, standard behavior can be enabled
 by setting the \verb#POSIXLY_CORRECT# environment variable.