projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
d5303c5
)
remove 'mode: xml' emacs settings (#2208)
author
Simon Marlow
<marlowsd@gmail.com>
Thu, 8 Jul 2010 10:08:17 +0000
(10:08 +0000)
committer
Simon Marlow
<marlowsd@gmail.com>
Thu, 8 Jul 2010 10:08:17 +0000
(10:08 +0000)
21 files changed:
docs/users_guide/bugs.xml
patch
|
blob
|
history
docs/users_guide/debugging.xml
patch
|
blob
|
history
docs/users_guide/ffi-chap.xml
patch
|
blob
|
history
docs/users_guide/flags.xml
patch
|
blob
|
history
docs/users_guide/ghci.xml
patch
|
blob
|
history
docs/users_guide/glasgow_exts.xml
patch
|
blob
|
history
docs/users_guide/gone_wrong.xml
patch
|
blob
|
history
docs/users_guide/intro.xml
patch
|
blob
|
history
docs/users_guide/lang.xml
patch
|
blob
|
history
docs/users_guide/license.xml
patch
|
blob
|
history
docs/users_guide/packages.xml
patch
|
blob
|
history
docs/users_guide/parallel.xml
patch
|
blob
|
history
docs/users_guide/phases.xml
patch
|
blob
|
history
docs/users_guide/profiling.xml
patch
|
blob
|
history
docs/users_guide/runghc.xml
patch
|
blob
|
history
docs/users_guide/runtime_control.xml
patch
|
blob
|
history
docs/users_guide/separate_compilation.xml
patch
|
blob
|
history
docs/users_guide/sooner.xml
patch
|
blob
|
history
docs/users_guide/using.xml
patch
|
blob
|
history
docs/users_guide/utils.xml
patch
|
blob
|
history
docs/users_guide/win32-dlls.xml
patch
|
blob
|
history
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: ***
<!-- Emacs stuff:
;;; Local Variables: ***
- ;;; mode: xml ***
;;; sgml-parent-document: ("users_guide.xml" "book" "chapter") ***
;;; End: ***
-->
;;; 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: ***
<!-- Emacs stuff:
;;; Local Variables: ***
- ;;; mode: xml ***
;;; sgml-parent-document: ("users_guide.xml" "book" "chapter" "sect1") ***
;;; End: ***
-->
;;; 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: ***
<!-- Emacs stuff:
;;; Local Variables: ***
- ;;; mode: xml ***
;;; sgml-parent-document: ("users_guide.xml" "book" "chapter") ***
;;; End: ***
-->
;;; 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: ***
<!-- Emacs stuff:
;;; Local Variables: ***
- ;;; mode: xml ***
;;; sgml-parent-document: ("users_guide.xml" "book" "chapter") ***
;;; End: ***
-->
;;; 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: ***
<!-- Emacs stuff:
;;; Local Variables: ***
- ;;; mode: xml ***
;;; sgml-parent-document: ("users_guide.xml" "book" "chapter") ***
;;; End: ***
-->
;;; 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: ***
<!-- Emacs stuff:
;;; Local Variables: ***
- ;;; mode: xml ***
;;; sgml-parent-document: ("users_guide.xml" "book" "chapter" "sect1") ***
;;; ispell-local-dictionary: "british" ***
;;; End: ***
;;; 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: ***
<!-- Emacs stuff:
;;; Local Variables: ***
- ;;; mode: xml ***
;;; sgml-parent-document: ("users_guide.xml" "book" "chapter") ***
;;; End: ***
-->
;;; 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: ***
<!-- Emacs stuff:
;;; Local Variables: ***
- ;;; mode: xml ***
;;; sgml-parent-document: ("users_guide.xml" "book" "chapter") ***
;;; End: ***
-->
;;; 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: ***
<!-- Emacs stuff:
;;; Local Variables: ***
- ;;; mode: xml ***
;;; sgml-parent-document: ("users_guide.xml" "book" "chapter") ***
;;; End: ***
-->
;;; 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: ***
<!-- Emacs stuff:
;;; Local Variables: ***
- ;;; mode: xml ***
;;; sgml-parent-document: ("users_guide.xml" "book" "preface") ***
;;; End: ***
-->
;;; 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: ***
<!-- Emacs stuff:
;;; Local Variables: ***
- ;;; mode: xml ***
;;; sgml-parent-document: ("users_guide.xml" "book" "chapter" "sect1") ***
;;; End: ***
-->
;;; 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: ***
<!-- Emacs stuff:
;;; Local Variables: ***
- ;;; mode: xml ***
;;; sgml-parent-document: ("users_guide.xml" "book" "chapter" "sect1") ***
;;; End: ***
-->
;;; 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: ***
<!-- Emacs stuff:
;;; Local Variables: ***
- ;;; mode: xml ***
;;; sgml-parent-document: ("users_guide.xml" "book" "chapter" "sect1") ***
;;; End: ***
-->
;;; 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: ***
<!-- Emacs stuff:
;;; Local Variables: ***
- ;;; mode: xml ***
;;; sgml-parent-document: ("users_guide.xml" "book" "chapter") ***
;;; End: ***
-->
;;; 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: ***
<!-- Emacs stuff:
;;; Local Variables: ***
- ;;; mode: xml ***
;;; sgml-parent-document: ("users_guide.xml" "book" "chapter") ***
;;; End: ***
-->
;;; 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: ***
<!-- Emacs stuff:
;;; Local Variables: ***
- ;;; mode: xml ***
;;; sgml-parent-document: ("users_guide.xml" "book" "chapter" "sect1") ***
;;; End: ***
-->
;;; 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: ***
<!-- Emacs stuff:
;;; Local Variables: ***
- ;;; mode: xml ***
;;; sgml-parent-document: ("users_guide.xml" "book" "chapter" "sect1") ***
;;; End: ***
-->
;;; 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: ***
<!-- Emacs stuff:
;;; Local Variables: ***
- ;;; mode: xml ***
;;; sgml-parent-document: ("users_guide.xml" "book" "chapter") ***
;;; End: ***
-->
;;; 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: ***
<!-- Emacs stuff:
;;; Local Variables: ***
- ;;; mode: xml ***
;;; sgml-parent-document: ("users_guide.xml" "book" "chapter") ***
;;; End: ***
-->
;;; 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: ***
<!-- Emacs stuff:
;;; Local Variables: ***
- ;;; mode: xml ***
;;; sgml-parent-document: ("users_guide.xml" "book" "chapter") ***
;;; End: ***
-->
;;; 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: ***
<!-- Emacs stuff:
;;; Local Variables: ***
- ;;; mode: xml ***
;;; sgml-parent-document: ("users_guide.xml" "book" "chapter") ***
;;; End: ***
-->
;;; sgml-parent-document: ("users_guide.xml" "book" "chapter") ***
;;; End: ***
-->