[m-rev.] diff: do not recommend the use of compilation model options with non-C backends

[Julien Fischer]

Branches: master, 20.01

--------------------------------------

Do not recommend the use of compilation model options with non-C backends.

README.CSharp:
README.Erlang:
README.Java:
      Users should use the --grade option to build programs using these
      backends.  Delete the wording that suggested that the compilation
      model options (e.g. --java) can be used to do that; in isolation
      they cannot.

Julien.

diff --git a/README.CSharp b/README.CSharp
index 6de4012..b90c7dd 100644
--- a/README.CSharp
+++ b/README.CSharp
@@ -22,8 +22,7 @@ or Mono 4.0 or above.
  THE C# GRADE

  The Mercury compiler currently supports the grade `csharp'.
-The csharp grade is enabled by using any of the options
-`--grade csharp', `--target csharp', or just `--csharp'.
+The csharp grade is enabled by using the option `--grade csharp'.

  To run a Mercury program using the csharp grade, you need to build the Mercury
  library and runtime in the csharp grade, using the Mercury source distribution.
@@ -32,7 +31,7 @@ You can now build programs such as hello.m or calculator.m in the samples
  directory.

  	cd samples
-	mmc --make --csharp hello
+	mmc ---grade csharp --make hello

  Note that when building programs using the csharp grade you *must* use
  mmc --make.
diff --git a/README.Erlang b/README.Erlang
index afc8a65..31e2cac 100644
--- a/README.Erlang
+++ b/README.Erlang
@@ -60,8 +60,7 @@ Mmake.params before installing:
  THE ERLANG GRADE

  The Mercury compiler currently supports the grade `erlang'.
-The erlang grade is enabled by using any of the options
-`--grade erlang', `--target erlang', or just `--erlang',
+The erlang grade is enabled by using the option `--grade erlang'
  in combination with `mmc --make'.  Mmake does _not_ currently support
  the erlang grade.

@@ -72,7 +71,7 @@ You can now build programs such as hello.m or calculator.m in the samples
  directory.

          cd samples
-        mmc --make --erlang hello
+        mmc --grade erlang --make hello

  Note that when building programs using the erlang grade you *must* use
  mmc --make.
diff --git a/README.Java b/README.Java
index 9eb5bd4..49647cb 100644
--- a/README.Java
+++ b/README.Java
@@ -24,8 +24,7 @@ In order to try this system you will need
  THE JAVA GRADE

  The Mercury compiler currently supports the grade `java' to target Java
-bytecode.  The java grade is enabled by using any of the options
-`--grade java', `--target java', or just `--java'.
+bytecode.  The java grade is enabled by using the option `--grade java'.

  To run a Mercury program using the java grade, you need to build the Mercury
  library and runtime in the java grade, using the Mercury source distribution.
@@ -34,7 +33,7 @@ You can now build programs such as hello.m or calculator.m in the samples
  directory.

  	cd samples
-	mmc --make --java hello
+	mmc --grade java --make hello

  Note that when building programs using the java grade you *must* use
  mmc --make.