diff --git a/doc/make.jl b/doc/make.jl index f59c9bb54e8b0..89026f786f14b 100644 --- a/doc/make.jl +++ b/doc/make.jl @@ -92,7 +92,6 @@ Manual = [ "manual/environment-variables.md", "manual/embedding.md", "manual/code-loading.md", - "manual/profile.md", "manual/stacktraces.md", "manual/performance-tips.md", "manual/workflow-tips.md", @@ -128,6 +127,10 @@ BaseDocs = [ StdlibDocs = [stdlib.targetfile for stdlib in STDLIB_DOCS] +Tutorials = [ + "tutorials/profile.md", +] + DevDocs = [ "Documentation of Julia's Internals" => [ "devdocs/init.md", @@ -185,6 +188,7 @@ const PAGES = [ "Manual" => ["index.md", Manual...], "Base" => BaseDocs, "Standard Library" => StdlibDocs, + "Tutorials" => Tutorials, # Add "Release Notes" to devdocs "Developer Documentation" => [DevDocs..., hide("NEWS.md")], ] @@ -195,6 +199,7 @@ const PAGES = [ "Manual" => Manual, "Base" => BaseDocs, "Standard Library" => StdlibDocs, + "Tutorials" => Tutorials, "Developer Documentation" => DevDocs, ] end diff --git a/doc/src/manual/profile.md b/doc/src/tutorials/profile.md similarity index 100% rename from doc/src/manual/profile.md rename to doc/src/tutorials/profile.md