summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMaxence Guesdon <maxence.guesdon@inria.fr>2002-04-15 14:51:20 +0000
committerMaxence Guesdon <maxence.guesdon@inria.fr>2002-04-15 14:51:20 +0000
commit756a91f939cc6103a98b98190962ecf08ac5f327 (patch)
treef5481d12fcd5c64bcab83e011153bf10ddd1752b
parentf0d914bfc424e480a59f27140fa32d59cc798b27 (diff)
correction du backslash pour le mettre bien en html
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4670 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--ocamldoc/ocamldoc.hva2
1 files changed, 1 insertions, 1 deletions
diff --git a/ocamldoc/ocamldoc.hva b/ocamldoc/ocamldoc.hva
index da700db5a..c78417f36 100644
--- a/ocamldoc/ocamldoc.hva
+++ b/ocamldoc/ocamldoc.hva
@@ -3,7 +3,7 @@
\newenvironment{ocamldocdescription}{\begin{quote}}{\end{quote}}
\newenvironment{ocamldoccomment}{\begin{quote}}{\end{quote}}
\newcommand\textbar{|}
-\newcommand\textbackslash{\\}
+\newcommand\textbackslash{\begin{rawhtml}\\end{rawhtml}}
\newcommand\textasciicircum{\^{}}
\newcommand\sharp{#}