[project @ 2004-08-15 20:37:22 by panne]

[ghc-hetmet.git] / ghc / docs / users_guide / phases.xml

diff --git a/ghc/docs/users_guide/phases.sgml b/ghc/docs/users_guide/phases.xml
similarity index 99%
rename from ghc/docs/users_guide/phases.sgml
rename to ghc/docs/users_guide/phases.xml
index 3fb17cf..567c4f4 100644 (file)
--- a/ghc/docs/users_guide/phases.sgml
+++ b/ghc/docs/users_guide/phases.xml
@@ -1,3 +1,4 @@
+<?xml version="1.0" encoding="iso-8859-1"?>
   <sect1 id="options-phases">
     <title>Options related to a particular phase</title>
 
@@ -717,7 +718,7 @@ strmod = "\
 
 <!-- Emacs stuff:
      ;;; Local Variables: ***
-     ;;; mode: sgml ***
-     ;;; sgml-parent-document: ("users_guide.sgml" "book" "chapter") ***
+     ;;; mode: xml ***
+     ;;; sgml-parent-document: ("users_guide.xml" "book" "chapter") ***
      ;;; End: ***
  -->