remove 'mode: xml' emacs settings (#2208)

diff --git a/docs/users_guide/bugs.xml b/docs/users_guide/bugs.xml
index 6e25e68..803f9a8 100644 (file)
--- a/docs/users_guide/bugs.xml
+++ b/docs/users_guide/bugs.xml
@@ -439,7 +439,6 @@ Loading package javavm ... linking ... WARNING: Overflown relocation field (# re
 
 <!-- Emacs stuff:
      ;;; Local Variables: ***
-     ;;; mode: xml ***
      ;;; sgml-parent-document: ("users_guide.xml" "book" "chapter") ***
      ;;; End: ***
  -->

diff --git a/docs/users_guide/debugging.xml b/docs/users_guide/debugging.xml
index 0261d4a..0132b42 100644 (file)
--- a/docs/users_guide/debugging.xml
+++ b/docs/users_guide/debugging.xml
@@ -651,7 +651,6 @@ Main.skip2{-r1L6-} =
 
 <!-- Emacs stuff:
      ;;; Local Variables: ***
-     ;;; mode: xml ***
      ;;; sgml-parent-document: ("users_guide.xml" "book" "chapter" "sect1") ***
      ;;; End: ***
  -->

diff --git a/docs/users_guide/ffi-chap.xml b/docs/users_guide/ffi-chap.xml
index 69b79d7..5ef50a6 100644 (file)
--- a/docs/users_guide/ffi-chap.xml
+++ b/docs/users_guide/ffi-chap.xml
@@ -563,7 +563,6 @@ int main(int argc, char *argv[])
 
 <!-- Emacs stuff:
      ;;; Local Variables: ***
-     ;;; mode: xml ***
      ;;; sgml-parent-document: ("users_guide.xml" "book" "chapter") ***
      ;;; End: ***
  -->

diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index 389a445..efe1093 100644 (file)
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -2512,7 +2512,6 @@ Misc:
 
 <!-- Emacs stuff:
      ;;; Local Variables: ***
-     ;;; mode: xml ***
      ;;; sgml-parent-document: ("users_guide.xml" "book" "chapter") ***
      ;;; End: ***
  -->

diff --git a/docs/users_guide/ghci.xml b/docs/users_guide/ghci.xml
index 1ff5ffd..c2bceea 100644 (file)
--- a/docs/users_guide/ghci.xml
+++ b/docs/users_guide/ghci.xml
@@ -2939,7 +2939,6 @@ Prelude> :set -fno-glasgow-exts
 
 <!-- Emacs stuff:
      ;;; Local Variables: ***
-     ;;; mode: xml ***
      ;;; sgml-parent-document: ("users_guide.xml" "book" "chapter") ***
      ;;; End: ***
  -->

diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml
index bf82545..9fea7a4 100644 (file)
--- a/docs/users_guide/glasgow_exts.xml
+++ b/docs/users_guide/glasgow_exts.xml
@@ -9097,7 +9097,6 @@ standard behaviour.
 
 <!-- Emacs stuff:
      ;;; Local Variables: ***
-     ;;; mode: xml ***
      ;;; sgml-parent-document: ("users_guide.xml" "book" "chapter" "sect1") ***
      ;;; ispell-local-dictionary: "british" ***
      ;;; End: ***

diff --git a/docs/users_guide/gone_wrong.xml b/docs/users_guide/gone_wrong.xml
index 619d8ac..114b06c 100644 (file)
--- a/docs/users_guide/gone_wrong.xml
+++ b/docs/users_guide/gone_wrong.xml
@@ -207,7 +207,6 @@
 
 <!-- Emacs stuff:
      ;;; Local Variables: ***
-     ;;; mode: xml ***
      ;;; sgml-parent-document: ("users_guide.xml" "book" "chapter") ***
      ;;; End: ***
  -->

diff --git a/docs/users_guide/intro.xml b/docs/users_guide/intro.xml
index c9ff433..4d4849f 100644 (file)
--- a/docs/users_guide/intro.xml
+++ b/docs/users_guide/intro.xml
@@ -352,7 +352,6 @@
 
 <!-- Emacs stuff:
      ;;; Local Variables: ***
-     ;;; mode: xml ***
      ;;; sgml-parent-document: ("users_guide.xml" "book" "chapter") ***
      ;;; End: ***
  -->

diff --git a/docs/users_guide/lang.xml b/docs/users_guide/lang.xml
index 7e9621e..3870dd7 100644 (file)
--- a/docs/users_guide/lang.xml
+++ b/docs/users_guide/lang.xml
@@ -9,7 +9,6 @@
 
 <!-- Emacs stuff:
      ;;; Local Variables: ***
-     ;;; mode: xml ***
      ;;; sgml-parent-document: ("users_guide.xml" "book" "chapter") ***
      ;;; End: ***
  -->

diff --git a/docs/users_guide/license.xml b/docs/users_guide/license.xml
index 6043c41..27db02d 100644 (file)
--- a/docs/users_guide/license.xml
+++ b/docs/users_guide/license.xml
@@ -60,7 +60,6 @@ DAMAGE.
 
 <!-- Emacs stuff:
      ;;; Local Variables: ***
-     ;;; mode: xml ***
      ;;; sgml-parent-document: ("users_guide.xml" "book" "preface") ***
      ;;; End: ***
  -->

diff --git a/docs/users_guide/packages.xml b/docs/users_guide/packages.xml
index 728b974..5915046 100644 (file)
--- a/docs/users_guide/packages.xml
+++ b/docs/users_guide/packages.xml
@@ -1596,7 +1596,6 @@ haddock-html: /usr/share/doc/ghc/html/libraries/unix
 
 <!-- Emacs stuff:
      ;;; Local Variables: ***
-     ;;; mode: xml ***
      ;;; sgml-parent-document: ("users_guide.xml" "book" "chapter" "sect1") ***
      ;;; End: ***
  -->

diff --git a/docs/users_guide/parallel.xml b/docs/users_guide/parallel.xml
index 2f008ed..92bad19 100644 (file)
--- a/docs/users_guide/parallel.xml
+++ b/docs/users_guide/parallel.xml
@@ -197,7 +197,6 @@ nfib n | n <= 1 = 1
 
 <!-- Emacs stuff:
      ;;; Local Variables: ***
-     ;;; mode: xml ***
      ;;; sgml-parent-document: ("users_guide.xml" "book" "chapter" "sect1") ***
      ;;; End: ***
  -->

diff --git a/docs/users_guide/phases.xml b/docs/users_guide/phases.xml
index 2b88718..abe96b3 100644 (file)
--- a/docs/users_guide/phases.xml
+++ b/docs/users_guide/phases.xml
@@ -1097,7 +1097,6 @@ $ cat foo.hspp</screen>
 
 <!-- Emacs stuff:
      ;;; Local Variables: ***
-     ;;; mode: xml ***
      ;;; sgml-parent-document: ("users_guide.xml" "book" "chapter" "sect1") ***
      ;;; End: ***
  -->

diff --git a/docs/users_guide/profiling.xml b/docs/users_guide/profiling.xml
index fe835af..00bbcdb 100644 (file)
--- a/docs/users_guide/profiling.xml
+++ b/docs/users_guide/profiling.xml
@@ -1784,7 +1784,6 @@ Total bytes copied during GC: 190096
 
 <!-- Emacs stuff:
      ;;; Local Variables: ***
-     ;;; mode: xml ***
      ;;; sgml-parent-document: ("users_guide.xml" "book" "chapter") ***
      ;;; End: ***
  -->

diff --git a/docs/users_guide/runghc.xml b/docs/users_guide/runghc.xml
index ec55a43..4dc1068 100644 (file)
--- a/docs/users_guide/runghc.xml
+++ b/docs/users_guide/runghc.xml
@@ -41,7 +41,6 @@ runghc [runghc flags] [GHC flags] module [program args]
 
 <!-- Emacs stuff:
      ;;; Local Variables: ***
-     ;;; mode: xml ***
      ;;; sgml-parent-document: ("users_guide.xml" "book" "chapter") ***
      ;;; End: ***
  -->

diff --git a/docs/users_guide/runtime_control.xml b/docs/users_guide/runtime_control.xml
index d35027b..9ef32a8 100644 (file)
--- a/docs/users_guide/runtime_control.xml
+++ b/docs/users_guide/runtime_control.xml
@@ -1295,7 +1295,6 @@ $ ./a.out +RTS --info
 
 <!-- Emacs stuff:
      ;;; Local Variables: ***
-     ;;; mode: xml ***
      ;;; sgml-parent-document: ("users_guide.xml" "book" "chapter" "sect1") ***
      ;;; End: ***
  -->

diff --git a/docs/users_guide/separate_compilation.xml b/docs/users_guide/separate_compilation.xml
index 32dc850..198e5e1 100644 (file)
--- a/docs/users_guide/separate_compilation.xml
+++ b/docs/users_guide/separate_compilation.xml
@@ -1222,7 +1222,6 @@ first line, GHC considers it an orphan module.
 
 <!-- Emacs stuff:
      ;;; Local Variables: ***
-     ;;; mode: xml ***
      ;;; sgml-parent-document: ("users_guide.xml" "book" "chapter" "sect1") ***
      ;;; End: ***
  -->

diff --git a/docs/users_guide/sooner.xml b/docs/users_guide/sooner.xml
index d1aeb0f..6823ce5 100644 (file)
--- a/docs/users_guide/sooner.xml
+++ b/docs/users_guide/sooner.xml
@@ -539,7 +539,6 @@ be required).
 
 <!-- Emacs stuff:
      ;;; Local Variables: ***
-     ;;; mode: xml ***
      ;;; sgml-parent-document: ("users_guide.xml" "book" "chapter") ***
      ;;; End: ***
  -->

diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml
index 95f5b94..fb0e594 100644 (file)
--- a/docs/users_guide/using.xml
+++ b/docs/users_guide/using.xml
@@ -2259,7 +2259,6 @@ statements or clauses.
 
 <!-- Emacs stuff:
      ;;; Local Variables: ***
-     ;;; mode: xml ***
      ;;; sgml-parent-document: ("users_guide.xml" "book" "chapter") ***
      ;;; End: ***
  -->

diff --git a/docs/users_guide/utils.xml b/docs/users_guide/utils.xml
index ecd55a5..3f712fe 100644 (file)
--- a/docs/users_guide/utils.xml
+++ b/docs/users_guide/utils.xml
@@ -549,7 +549,6 @@ tags:
 
 <!-- Emacs stuff:
      ;;; Local Variables: ***
-     ;;; mode: xml ***
      ;;; sgml-parent-document: ("users_guide.xml" "book" "chapter") ***
      ;;; End: ***
  -->

diff --git a/docs/users_guide/win32-dlls.xml b/docs/users_guide/win32-dlls.xml
index 5b3ddb1..7b0e726 100644 (file)
--- a/docs/users_guide/win32-dlls.xml
+++ b/docs/users_guide/win32-dlls.xml
@@ -631,7 +631,6 @@ the include files like <literal>HsFFI.h</literal> etc).
 
 <!-- Emacs stuff:
      ;;; Local Variables: ***
-     ;;; mode: xml ***
      ;;; sgml-parent-document: ("users_guide.xml" "book" "chapter") ***
      ;;; End: ***
  -->