From 69b9ff11172299869c588e6248ebe6344d6032c1 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 4 Jul 2014 05:23:53 +0100 Subject: [PATCH] clarify that document names are meant to be globally unique --- pkgs/racket-pkgs/racket-doc/scribblings/raco/setup.scrbl | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/pkgs/racket-pkgs/racket-doc/scribblings/raco/setup.scrbl b/pkgs/racket-pkgs/racket-doc/scribblings/raco/setup.scrbl index 05bce79db3..ae910b9481 100644 --- a/pkgs/racket-pkgs/racket-doc/scribblings/raco/setup.scrbl +++ b/pkgs/racket-pkgs/racket-doc/scribblings/raco/setup.scrbl @@ -287,7 +287,9 @@ Optional @filepath{info.rkt} fields trigger additional actions by A list of documents to build. Each document in the list is itself represented as a list, where each document's list starts with a string that is a collection-relative path to the document's source - file. + file. A document name (which is derived from the source module's + name by default) is intended to be globally unique in the same way + as a package or module name. More precisely a @racketidfont{scribblings} entry must be a value that can be generated from an expression matching the following