From ad503ce8f90f40cfc8a390b046b287295d1d5416 Mon Sep 17 00:00:00 2001
From: def <dennis@felsin9.de>
Date: Mon, 23 Nov 2015 16:14:35 +0100
Subject: Add options module to standard library documentation

---
 doc/lib.txt | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'doc')

diff --git a/doc/lib.txt b/doc/lib.txt
index 3dc58eebf..4fa49095c 100644
--- a/doc/lib.txt
+++ b/doc/lib.txt
@@ -374,6 +374,9 @@ Miscellaneous
 * `logging <logging.html>`_
   This module implements a simple logger.
 
+* `options <options.html>`_
+  Types which encapsulate an optional value.
+
 * `future <future.html>`_
   This module implements new experimental features. Currently the syntax
   sugar for anonymous procedures.
-- 
cgit 1.4.1-2-gfad0