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

21 files changed, 0 insertions, 21 deletions

diff --git a/docs/users_guide/bugs.xml b/docs/users_guide/bugs.xml
index 6e25e68d14..803f9a8906 100644
--- 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 0261d4a878..0132b42c0b 100644
--- 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 69b79d72bf..5ef50a65ae 100644
--- 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 389a4454be..efe1093f86 100644
--- 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 1ff5ffd4cb..c2bceeae4c 100644
--- 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 bf825455e1..9fea7a4736 100644
--- 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 619d8acd90..114b06cfd6 100644
--- 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 c9ff433c77..4d4849f2f1 100644
--- 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 7e9621ed8b..3870dd72a3 100644
--- 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 6043c41929..27db02d3dd 100644
--- 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 728b974d84..5915046c3e 100644
--- 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 2f008ed6c4..92bad19339 100644
--- a/docs/users_guide/parallel.xml
+++ b/docs/users_guide/parallel.xml
@@ -197,7 +197,6 @@ nfib n | n &#60;= 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 2b88718755..abe96b3681 100644
--- 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 fe835afc9b..00bbcdb8d4 100644
--- 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 ec55a4311e..4dc10681d4 100644
--- 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 d35027b73d..9ef32a81c0 100644
--- 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 32dc850e3c..198e5e103b 100644
--- 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 d1aeb0f888..6823ce5110 100644
--- 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 95f5b9402a..fb0e594db4 100644
--- 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 ecd55a510b..3f712feca2 100644
--- 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 5b3ddb13c9..7b0e726b52 100644
--- 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: ***
  -->