X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=182b2fdacbfe1eca5ee8568a9d2141b87c9d4ffd;hb=3388ec10d647189e7d1172bfae27d1c447d42d1c;hp=65c7f8a0c97f5486c9dc5f756ff9844ed4d66bcc;hpb=e5b79a6988880d8757634683eefe2f03e45cdfc6;p=ghc-hetmet.git
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index 65c7f8a..182b2fd 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -1633,33 +1633,6 @@
- C compiler options
-
-
-
-
-
-
- Flag
- Description
- Static/Dynamic
- Reverse
-
-
-
-
- file
- Include file when
- compiling the .hc file
- dynamic
- -
-
-
-
-
-
-
-
Code generation options
@@ -1828,6 +1801,12 @@
-
+
+ Enable runtime event tracing
+ static
+ -
+
+
Do not generate a manifest file (Windows only)
dynamic