From 7fa49b842a147e76e58b08ad166123bb80858f6a Mon Sep 17 00:00:00 2001 From: Lilith Hafner Date: Mon, 6 Nov 2023 20:46:22 -0600 Subject: [PATCH] move profiling manual section to a new tutorials toplevel heading --- doc/make.jl | 7 ++++++- doc/src/{manual => tutorials}/profile.md | 0 2 files changed, 6 insertions(+), 1 deletion(-) rename doc/src/{manual => tutorials}/profile.md (100%) 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