diff --git a/lens-doc/lens/main.scrbl b/lens-doc/lens/main.scrbl index ed9f1ba..e7ab394 100644 --- a/lens-doc/lens/main.scrbl +++ b/lens-doc/lens/main.scrbl @@ -22,3 +22,4 @@ source code: @url["https://github.com/jackfirth/lens"] @include-section["private/scribblings/guide.scrbl"] @include-section["private/scribblings/reference.scrbl"] +@include-section[(lib "unstable/lens/main.scrbl")] diff --git a/lens-doc/lens/private/doc-util/deflenses.rkt b/lens-doc/lens/private/doc-util/deflenses.rkt index adc9c88..81f5882 100644 --- a/lens-doc/lens/private/doc-util/deflenses.rkt +++ b/lens-doc/lens/private/doc-util/deflenses.rkt @@ -1,7 +1,7 @@ #lang racket (require scribble/manual - (for-label lens/private/base/main)) + (for-label lens)) (provide deflens deflenses) diff --git a/lens-doc/unstable/info.rkt b/lens-doc/unstable/info.rkt deleted file mode 100644 index 84582b6..0000000 --- a/lens-doc/unstable/info.rkt +++ /dev/null @@ -1,4 +0,0 @@ -#lang info - -(define scribblings '(["lens/main.scrbl" () (experimental) "unstable-lens"])) -