X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=7c21a73e33558cc842876cfe6ef9d37c5592533f;hb=93a74b86d201bf0ee3233e993e88eb80c2d97f68;hp=f185fb2165662b212320a8a08d074c0b58c501d4;hpb=e2424a6c39f2bc25e8c034af3d539455e937213e;p=ghc-hetmet.git
diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml
index f185fb2..7c21a73 100644
--- a/docs/users_guide/flags.xml
+++ b/docs/users_guide/flags.xml
@@ -1682,6 +1682,18 @@
static
-
+
+
+ Do not generate a manifest file (Windows only)
+ dynamic
+ -
+
+
+
+ Do not embed the manifest in the executable (Windows only)
+ dynamic
+ -
+
@@ -1759,6 +1771,13 @@
dynamic
-
+
+ cmd
+ Use cmd as the program for
+ embedding manifests on Windows.
+ dynamic
+ -
+
@@ -1844,6 +1863,12 @@
dynamic
-
+
+ option
+ pass option to windres.
+ dynamic
+ -
+