Denis B. Roegel Mon, 27 May 2002 20:21:54 -0700
\type{--pdf} does not produce what I expect. I see only one resulting dash.
Denis
