diff --git a/message-index/messages/GHC-85401/example1/after/Example1.hs b/message-index/messages/GHC-85401/example1/after/Example1.hs
new file mode 100644
index 00000000..8ad6480e
--- /dev/null
+++ b/message-index/messages/GHC-85401/example1/after/Example1.hs
@@ -0,0 +1,5 @@
+{-# OPTIONS_GHC -Wmissing-export-lists #-}
+module Example1 (hello) where
+
+hello :: String -> String
+hello s = "Hello " <> s
diff --git a/message-index/messages/GHC-85401/example1/before/Example1.hs b/message-index/messages/GHC-85401/example1/before/Example1.hs
new file mode 100644
index 00000000..54d0b2a4
--- /dev/null
+++ b/message-index/messages/GHC-85401/example1/before/Example1.hs
@@ -0,0 +1,5 @@
+{-# OPTIONS_GHC -Wmissing-export-lists #-}
+module Example1 where
+
+hello :: String -> String
+hello s = "Hello " <> s
diff --git a/message-index/messages/GHC-85401/example1/index.md b/message-index/messages/GHC-85401/example1/index.md
new file mode 100644
index 00000000..b90e1ed0
--- /dev/null
+++ b/message-index/messages/GHC-85401/example1/index.md
@@ -0,0 +1,13 @@
+---
+title: Export list is missing in module declaration
+---
+
+## Warning
+
+```haskell
+Example1.hs:1:1: warning: [-Wmissing-export-lists]
+    The export item ‘module Example1’ is missing an export list
+  |
+1 | {-# OPTIONS_GHC -Wmissing-export-lists #-}
+  | ^
+```
diff --git a/message-index/messages/GHC-85401/index.md b/message-index/messages/GHC-85401/index.md
new file mode 100644
index 00000000..cf395e84
--- /dev/null
+++ b/message-index/messages/GHC-85401/index.md
@@ -0,0 +1,9 @@
+---
+title: Missing Export List
+summary: The module export list is missing
+severity: warning
+flag: -Wmissing-export-lists
+introduced: 9.6.1
+---
+
+If enabled by `-Wmissing-export-lists` or `-Weverything`, GHC issues a warning when the `module` declaration does not contain an export list. When an export list is missing, all definitions in the module are exported.