[m-rev.] trivial diff: minor fix for PDF documentation copyright notices

[Julien Fischer]

Minor fix for PDF documentation copyright notices.

doc/*.texi:
     Avoid an awkward line break in the copyright notices.

     Fix a typo in one spot: s/-/--/

Julien.

diff --git a/doc/faq.texi b/doc/faq.texi
index 83f4458..80f6afd 100644
--- a/doc/faq.texi
+++ b/doc/faq.texi
@@ -55,8 +55,8 @@ into another language, under the above conditions for modified versions.
  @author Zoltan Somogyi
  @page
  @vskip 0pt plus 1filll
-Copyright @copyright{} 1995--1997,1999,2001--2012 The University of Melbourne.
-Copyright @copyright{} 2013-2017 The Mercury team.
+Copyright @copyright{} 1995--1997,1999,2001--2012 The University of Melbourne.@*
+Copyright @copyright{} 2013--2017 The Mercury team.

  Permission is granted to make and distribute verbatim copies of
  this FAQ list provided the copyright notice and this permission notice
diff --git a/doc/library.texi b/doc/library.texi
index b9bbcd8..6835769 100644
--- a/doc/library.texi
+++ b/doc/library.texi
@@ -45,7 +45,7 @@ into another language, under the above conditions for modified versions.
  @c @author Zoltan Somogyi
  @page
  @vskip 0pt plus 1filll
-Copyright @copyright{} 1995--1997,1999--2012 The University of Melbourne.
+Copyright @copyright{} 1995--1997,1999--2012 The University of Melbourne.@*
  Copyright @copyright{} 2013--2017 The Mercury team.

  Permission is granted to make and distribute verbatim copies of
diff --git a/doc/reference_manual.texi b/doc/reference_manual.texi
index e198f3f..19fd3c9 100644
--- a/doc/reference_manual.texi
+++ b/doc/reference_manual.texi
@@ -54,7 +54,7 @@ into another language, under the above conditions for modified versions.
  @author Peter Wang
  @page
  @vskip 0pt plus 1filll
-Copyright @copyright{} 1995--2012 The University of Melbourne.
+Copyright @copyright{} 1995--2012 The University of Melbourne.@*
  Copyright @copyright{} 2013--2017 The Mercury team.

  Permission is granted to make and distribute verbatim copies of
diff --git a/doc/transition_guide.texi b/doc/transition_guide.texi
index bc5c8c6..031faad 100644
--- a/doc/transition_guide.texi
+++ b/doc/transition_guide.texi
@@ -45,7 +45,7 @@ into another language, under the above conditions for modified versions.
  @author Fergus Henderson
  @page
  @vskip 0pt plus 1filll
-Copyright @copyright{} 1995--2012 The University of Melbourne.
+Copyright @copyright{} 1995--2012 The University of Melbourne.@*
  Copyright @copyright{} 2013--2017 The Mercury team.

  Permission is granted to make and distribute verbatim copies of
diff --git a/doc/user_guide.texi b/doc/user_guide.texi
index 2dabac2..1dded8c 100644
--- a/doc/user_guide.texi
+++ b/doc/user_guide.texi
@@ -77,7 +77,7 @@ into another language, under the above conditions for modified versions.
  @author Paul Bone
  @page
  @vskip 0pt plus 1filll
-Copyright @copyright{} 1995--2012 The University of Melbourne.
+Copyright @copyright{} 1995--2012 The University of Melbourne.@*
  Copyright @copyright{} 2013--2017 The Mercury team.

  Permission is granted to make and distribute verbatim copies of