use reprovide and include-sections

lens/private/doc-util/include-sections.rkt

@@ -0,0 +1,8 @@
+#lang racket/base
+
+(provide include-sections)
+
+(require (only-in scribble/base include-section))
+
+(define-syntax-rule (include-sections mod-path ...)
+  (begin (include-section mod-path) ...))

lens/private/doc-util/main.rkt

@@ -2,6 +2,7 @@
 
 (require syntax/parse/define
          "deflenses.rkt"
+         "include-sections.rkt"
          "lenses-examples.rkt"
          (for-label lens
                     unstable/lens
@@ -19,6 +20,7 @@
 (provide (all-from-out
           syntax/parse/define
           "deflenses.rkt"
+          "include-sections.rkt"
           "lenses-examples.rkt")
          (for-label (all-from-out
                      lens

lens/private/util/reprovide.rkt

@@ -0,0 +1,8 @@
+#lang racket/base
+
+(provide reprovide)
+
+(define-syntax-rule (reprovide mod-path ...)
+  (begin
+    (require mod-path ...)
+    (provide (all-from-out mod-path ...))))

unstable/lens/main.rkt

@@ -1,28 +1,15 @@
 #lang sweet-exp racket/base
+require lens/private/util/reprovide
+reprovide
+  "arrow.rkt"
+  "isomorphism.rkt"
+  "mapper.rkt"
+  "match.rkt"
+  "set-filterer.rkt"
+  "string-split.rkt"
+  "struct-join.rkt"
+  "struct-nested.rkt"
+  "sublist.rkt"
+  "syntax.rkt"
+  "view-set.rkt"
 
-require
-         "arrow.rkt"
-         "isomorphism.rkt"
-         "mapper.rkt"
-         "match.rkt"
-         "set-filterer.rkt"
-         "string-split.rkt"
-         "struct-join.rkt"
-         "struct-nested.rkt"
-         "sublist.rkt"
-         "syntax.rkt"
-         "view-set.rkt"
-
-provide
-        all-from-out
-         "arrow.rkt"
-         "isomorphism.rkt"
-         "mapper.rkt"
-         "match.rkt"
-         "set-filterer.rkt"
-         "string-split.rkt"
-         "struct-join.rkt"
-         "struct-nested.rkt"
-         "sublist.rkt"
-         "syntax.rkt"
-         "view-set.rkt"

unstable/lens/main.scrbl

@@ -1,5 +1,7 @@
 #lang scribble/manual
 
+@(require lens/private/doc-util/main)
+
 @title{Unstable Lenses}
 
 @defmodule[unstable/lens]
@@ -9,14 +11,17 @@ This library provides additional features for the
 may change in future releases. Do not depend on
 this library being backwards-compatible.
 
-@include-section["arrow.scrbl"]
-@include-section["isomorphism.scrbl"]
-@include-section["mapper.scrbl"]
-@include-section["match.scrbl"]
-@include-section["set-filterer.scrbl"]
-@include-section["string-split.scrbl"]
-@include-section["struct-join.scrbl"]
-@include-section["struct-nested.scrbl"]
-@include-section["sublist.scrbl"]
-@include-section["syntax.scrbl"]
-@include-section["view-set.scrbl"]
+@(include-sections
+  "arrow.scrbl"
+  "isomorphism.scrbl"
+  "mapper.scrbl"
+  "match.scrbl"
+  "set-filterer.scrbl"
+  "string-split.scrbl"
+  "struct-join.scrbl"
+  "struct-nested.scrbl"
+  "sublist.scrbl"
+  "syntax.scrbl"
+  "view-set.scrbl"
+  )
+