From e13cceb04a8752973d8c44d221ab85dbbb0e7db0 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Ale=C5=A1=20K=C5=99enek?= <ljocha@ics.muni.cz>
Date: Mon, 7 Apr 2008 14:11:58 +0000
Subject: [PATCH] Deal with $$

---
 org.glite.jp.doc/src/jpws.tex | 18 +++++++++++++++---
 1 file changed, 15 insertions(+), 3 deletions(-)

diff --git a/org.glite.jp.doc/src/jpws.tex b/org.glite.jp.doc/src/jpws.tex
index 3269614..7d36708 100644
--- 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}{}%
 
-- 
1.8.2.3