1 files changed, 0 insertions, 23 deletions
diff --git a/utils/mkUserGuidePart/Options/InterfaceFiles.hs b/utils/mkUserGuidePart/Options/InterfaceFiles.hs
deleted file mode 100644
index 314e0ebb69..0000000000
--- a/utils/mkUserGuidePart/Options/InterfaceFiles.hs
+++ /dev/null
@@ -1,23 +0,0 @@
-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
-         }
-  ]