1 files changed, 23 insertions, 0 deletions
diff --git a/utils/mkUserGuidePart/Options/InterfaceFiles.hs b/utils/mkUserGuidePart/Options/InterfaceFiles.hs
new file mode 100644
index 0000000000..314e0ebb69
--- /dev/null
+++ b/utils/mkUserGuidePart/Options/InterfaceFiles.hs
@@ -0,0 +1,23 @@
+module Options.InterfaceFiles where
+
+import Types
+
+interfaceFilesOptions :: [Flag]
+interfaceFilesOptions =
+  [ flag { flagName = "-ddump-hi"
+         , flagDescription = "Dump the new interface to stdout"
+         , flagType = DynamicFlag
+         }
+  , flag { flagName = "-ddump-hi-diffs"
+         , flagDescription = "Show the differences vs. the old interface"
+         , flagType = DynamicFlag
+         }
+  , flag { flagName = "-ddump-minimal-imports"
+         , flagDescription = "Dump a minimal set of imports"
+         , flagType = DynamicFlag
+         }
+  , flag { flagName = "--show-iface ⟨file⟩"
+         , flagDescription = "See :ref:`modes`."
+         , flagType = ModeFlag
+         }
+  ]