diff --git a/ci.nix b/ci.nix
index fdfffd7..ce2557f 100644
--- a/ci.nix
+++ b/ci.nix
@@ -35,7 +35,7 @@ let
         src = ./doc;
         buildPhase = ''
           cat ${(import ./doc/extract-options.nix).doc} > options.json
-          cat options.json | fennel --correlate parse-options.fnl > modules.rst
+          cat options.json | fennel --correlate parse-options.fnl > modules-generated.rst
           make html
         '';
         installPhase = ''
diff --git a/doc/index.rst b/doc/index.rst
index d3c8c6b..f308df2 100644
--- a/doc/index.rst
+++ b/doc/index.rst
@@ -10,6 +10,7 @@ Liminix
    configuration
    admin
    development
+   modules
 
 
 Indices and tables
diff --git a/doc/modules.rst b/doc/modules.rst
new file mode 100644
index 0000000..8d29bba
--- /dev/null
+++ b/doc/modules.rst
@@ -0,0 +1,4 @@
+Module options
+##############
+
+.. include:: modules-generated.rst