From ad503ce8f90f40cfc8a390b046b287295d1d5416 Mon Sep 17 00:00:00 2001 From: def Date: Mon, 23 Nov 2015 16:14:35 +0100 Subject: [PATCH] Add options module to standard library documentation --- doc/lib.txt | 3 +++ web/website.ini | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/doc/lib.txt b/doc/lib.txt index 3dc58eebfa..4fa49095c2 100644 --- a/doc/lib.txt +++ b/doc/lib.txt @@ -374,6 +374,9 @@ Miscellaneous * `logging `_ This module implements a simple logger. +* `options `_ + Types which encapsulate an optional value. + * `future `_ This module implements new experimental features. Currently the syntax sugar for anonymous procedures. diff --git a/web/website.ini b/web/website.ini index 9d7aab664f..0ecfd5a050 100644 --- a/web/website.ini +++ b/web/website.ini @@ -56,7 +56,7 @@ srcdoc2: "pure/memfiles;pure/subexes;pure/collections/critbits" srcdoc2: "deprecated/pure/asyncio;deprecated/pure/actors;core/locks;pure/oids;pure/endians;pure/uri" srcdoc2: "pure/nimprof;pure/unittest;packages/docutils/highlite" srcdoc2: "packages/docutils/rst;packages/docutils/rstast" -srcdoc2: "packages/docutils/rstgen;pure/logging;pure/asyncdispatch;pure/asyncnet" +srcdoc2: "packages/docutils/rstgen;pure/logging;pure/options;pure/asyncdispatch;pure/asyncnet" srcdoc2: "deprecated/pure/rawsockets;pure/asynchttpserver;pure/net;pure/selectors;pure/future" srcdoc2: "deprecated/pure/ftpclient" srcdoc2: "pure/asyncfile;pure/asyncftpclient"