[m-rev.] For review: Replacing escaped slashes in user guide

[Sebastian Godelet]

For review by anyone.

Branches: master, version-14.01-branch

doc/user_guide.texi:
    Replaced wrongly escaped backslashes with plain backslashes.

Sebastian.

---

diff --git a/doc/user_guide.texi b/doc/user_guide.texi
index 7db998b..a9da814 100644
--- a/doc/user_guide.texi
+++ b/doc/user_guide.texi
@@ -1089,9 +1089,9 @@ installing the library. The source of the library 
is stored in the directory
  to be added to @samp{mmc}:

  @example
-mmc ... --search-lib-files-dir <dir> \\
-        --init-file <dir>/mypackage.init \\
-        --link-object <dir>/libmypackage.a \\
+mmc ... --search-lib-files-dir <dir> \
+        --init-file <dir>/mypackage.init \
+        --link-object <dir>/libmypackage.a \
      ...
  @end example

@@ -1107,11 +1107,11 @@ libmypackage}) and use the @samp{libmypackage.a} 
that is compatible with your
  main program's grade:

  @example
-mmc ... --use-grade-subdirs \\
-        --grade <grade> \\
-        --search-lib-files-dir <dir> \\
-        --init-file <dir>/mypackage.init \\
-        --link-object <dir>/Mercury/<grade>/*/Mercury/lib/libmypackage.a \\
+mmc ... --use-grade-subdirs \
+        --grade <grade> \
+        --search-lib-files-dir <dir> \
+        --init-file <dir>/mypackage.init \
+        --link-object <dir>/Mercury/<grade>/*/Mercury/lib/libmypackage.a \
      ...
  @end example

@@ -3594,7 +3594,7 @@ There are two kinds of values allowed for @var{op}.
  If @var{op} is @samp{=} or @samp{==}, the condition is true
  if the term specified by @var{varname} (and @var{pathspec}, if present)
  matches @var{term}.
-If @var{op} is @samp{!=} or @samp{\\=}, the condition is true
+If @var{op} is @samp{!=} or @samp{\=}, the condition is true
  if the term specified by @var{varname} (and @var{pathspec}, if present)
  doesn't match @var{term}.
  @var{term} may contain integers and strings