From aa5dd56f7ad09e5284a614c805be8eba720e2090 Mon Sep 17 00:00:00 2001 From: Stephen De Gabrielle Date: Wed, 5 Jul 2023 11:52:05 +0100 Subject: [PATCH] Update info.rkt add to ("Git") category on docs home page --- info.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/info.rkt b/info.rkt index 5243ff3..9afbf39 100644 --- a/info.rkt +++ b/info.rkt @@ -3,7 +3,7 @@ (define deps '("base" "rackunit-lib")) (define build-deps '("scribble-lib" "racket-doc")) -(define scribblings '(("scribblings/github-api.scrbl" ()))) +(define scribblings '(("scribblings/github-api.scrbl" () ("Git")))) (define pkg-desc "bindings for the github api") (define version "0.1") (define pkg-authors '(eu90h))