Move scriblib docs to the "Scribble Libraries" category.
This commit is contained in:
parent
d2bf2e49c5
commit
63f8793e78
|
@ -1,3 +1,3 @@
|
||||||
#lang info
|
#lang info
|
||||||
|
|
||||||
(define scribblings '(("scriblib.scrbl" (multi-page))))
|
(define scribblings '(("scriblib.scrbl" (multi-page) ("Scribble Libraries"))))
|
||||||
|
|
Loading…
Reference in New Issue
Block a user