Deal with $$

diff --git a/org.glite.jp.doc/src/jpws.tex b/org.glite.jp.doc/src/jpws.tex
index 3269614..7d36708 100644 (file)
--- a/org.glite.jp.doc/src/jpws.tex
+++ b/org.glite.jp.doc/src/jpws.tex
@@ -21,7 +21,11 @@ Command interface to JP is completely covered by the WS interface covered here.
 \section{Primary Storage -- Operations}
 \label{id271756}\hypertarget{id271756}{}%
 
-{\em{CVS revision: \$Header$}}
+{
+\let\dollar=\$
+\catcode`\$=\active
+\let$=\dollar
+\em{CVS revision: $Header$}}
 \subsection{CommitUpload}
 \label{op:CommitUpload}\hypertarget{op:CommitUpload}{}%
 
@@ -218,7 +222,11 @@ The interface to Index server contains three logical parts: administraive (contr
 \section{Index Server -- Operations}
 \label{id214279}\hypertarget{id214279}{}%
 
-{\em{CVS revision: \$Header$}}
+{
+\let\dollar=\$
+\catcode`\$=\active
+\let$=\dollar
+\em{CVS revision: $Header$}}
 \subsection{AddFeed}
 \label{op:AddFeed}\hypertarget{op:AddFeed}{}%
 
@@ -310,7 +318,11 @@ Outputs: N/A
 \section{JP Common Types}
 \label{id214548}\hypertarget{id214548}{}%
 
-{\em{CVS revision: \$Header$}}
+{
+\let\dollar=\$
+\catcode`\$=\active
+\let$=\dollar
+\em{CVS revision: $Header$}}
 \subsection{attrOrig}
 \label{type:attrOrig}\hypertarget{type:attrOrig}{}%