diff --git a/collects/scribble/scribble-prefix.html b/collects/scribble/scribble-prefix.html index 4ef584cce5..f77a1b6e06 100644 --- a/collects/scribble/scribble-prefix.html +++ b/collects/scribble/scribble-prefix.html @@ -1 +1 @@ - + diff --git a/collects/scribblings/main/private/search-context.html b/collects/scribblings/main/private/search-context.html index c25c0b34bc..0e19c8f862 100644 --- a/collects/scribblings/main/private/search-context.html +++ b/collects/scribblings/main/private/search-context.html @@ -1,4 +1,4 @@ - +