projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[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>
<sect1 id="options-phases">
<title>Options related to a particular phase</title>
@@
-717,7
+718,7
@@
strmod = "\
<!-- Emacs stuff:
;;; Local Variables: ***
<!-- 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: ***
-->
;;; End: ***
-->