From 9e678b32ea805508e08f753c3917939ea17e4049 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 24 Oct 2020 16:56:09 -0600 Subject: [PATCH] docs repair on package names as Git vs. GitHub --- pkgs/racket-doc/pkg/scribblings/pkg.scrbl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/racket-doc/pkg/scribblings/pkg.scrbl b/pkgs/racket-doc/pkg/scribblings/pkg.scrbl index 5b17b659dc..747890e8fa 100644 --- a/pkgs/racket-doc/pkg/scribblings/pkg.scrbl +++ b/pkgs/racket-doc/pkg/scribblings/pkg.scrbl @@ -244,8 +244,8 @@ URLs is: @optional{@exec{#}@nonterm{rev}}} where @nonterm{scheme} is @litchar{git}, @litchar{http}, or -@litchar{https}, and where @nonterm{host} is any address other than -@litchar{github.com} (which is treated more specifically as a GitHub +@litchar{https}, except when @nonterm{scheme} is @litchar{git} and +@nonterm{host} is @litchar{github.com} (which is treated more specifically as a GitHub reference). The @nonterm{path} can contain multiple @litchar{/}-separated elements to form a path within the repository, and it defaults to the empty path. The @nonterm{rev} can be a branch,