From a9a0059dacfc9f182686822883f3d73e994f8bfe Mon Sep 17 00:00:00 2001 From: Jack Firth Date: Wed, 19 Aug 2015 13:57:24 -0700 Subject: [PATCH] Move list refs and nested ref docs to right after list ref docs --- lens/list/list-ref-take-drop.scrbl | 5 ++++- lens/list/main.scrbl | 1 - 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/lens/list/list-ref-take-drop.scrbl b/lens/list/list-ref-take-drop.scrbl index ae1d7fa..eceae1d 100644 --- a/lens/list/list-ref-take-drop.scrbl +++ b/lens/list/list-ref-take-drop.scrbl @@ -1,6 +1,7 @@ #lang scribble/manual -@(require "../doc-util/main.rkt") +@(require "../doc-util/main.rkt" + "../doc-util/scribble-include-no-subsection.rkt") @title{List lenses} @@ -31,3 +32,5 @@ (lens-view (lens-compose second-lens fourth-lens) '((a 1) (b 2) (c 3) (d 4))) ]} + +@scribble-include/no-subsection["multi.scrbl"] diff --git a/lens/list/main.scrbl b/lens/list/main.scrbl index 7d4612f..6a41280 100644 --- a/lens/list/main.scrbl +++ b/lens/list/main.scrbl @@ -4,5 +4,4 @@ @include-section["car-cdr.scrbl"] @include-section["list-ref-take-drop.scrbl"] -@include-section["multi.scrbl"] @include-section["assoc.scrbl"]