From bbbd2fb9b1a61bdc41ecb95619ae56729f716a00 Mon Sep 17 00:00:00 2001 From: Jack Firth Date: Mon, 28 Mar 2022 15:37:12 -0700 Subject: [PATCH] Fix scribblings info --- info.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/info.rkt b/info.rkt index 6e2a012..bcedc0c 100755 --- a/info.rkt +++ b/info.rkt @@ -6,7 +6,7 @@ (define scribblings '(("yaragg.scrbl" (multi-page) (parsing-library)) - ("parser-tools.scrbl" (multi-page) (parsing-library)))) + ("yaragg-parser-tools.scrbl" (multi-page) (parsing-library)))) (define deps '(["base" #:version "6.3"]