From 87b0d35908149d789a305eac0998f57309c9484b Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Sun, 14 Aug 2011 09:28:58 -0400 Subject: [PATCH] Make the "other editors" page be called that, also the source; also comment unused author line. --- collects/scribblings/guide/guide.scrbl | 2 +- .../scribblings/guide/{editor.scrbl => other-editors.scrbl} | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) rename collects/scribblings/guide/{editor.scrbl => other-editors.scrbl} (98%) diff --git a/collects/scribblings/guide/guide.scrbl b/collects/scribblings/guide/guide.scrbl index b16b2f0d60..44eff0d0d6 100644 --- a/collects/scribblings/guide/guide.scrbl +++ b/collects/scribblings/guide/guide.scrbl @@ -19,7 +19,7 @@ precise details to @|Racket| and other reference manuals. @include-section["welcome.scrbl"] -@include-section["editor.scrbl"] +@include-section["other-editor.scrbl"] @include-section["to-scheme.scrbl"] diff --git a/collects/scribblings/guide/editor.scrbl b/collects/scribblings/guide/other-editors.scrbl similarity index 98% rename from collects/scribblings/guide/editor.scrbl rename to collects/scribblings/guide/other-editors.scrbl index ecd70a1ba1..9c7107e465 100644 --- a/collects/scribblings/guide/editor.scrbl +++ b/collects/scribblings/guide/other-editors.scrbl @@ -1,7 +1,7 @@ #lang scribble/manual -@title{Using Racket with Your Editor of Choice} -@author["Vincent St-Amour" "Asumu Takikawa" "Jon Rafkind"] +@title[#:tag "other-editors"]{Using Racket with Your Editor of Choice} +@; author["Vincent St-Amour" "Asumu Takikawa" "Jon Rafkind"] Do you want to program with Racket but would rather use your editor of choice instead of DrRacket? Then this page is for you.