Update pages.jl

ChrisRackauckas · web-flow · commit a8b5e3a01227 · 2022-12-12T20:05:39.000-05:00
diff --git a/docs/pages.jl b/docs/pages.jl
@@ -40,7 +40,7 @@ end
 # The result is in alphabetical order, change to the wanted order
 
 permute!(pages,
-    [1, 9, 12, 19, 4, 5, 8, 17, 6, 10, 13, 20, 11, 18, 7, 16, 3, 14, 15, 2]
+    [1, 10, 13, 19, 4, 5, 9, 6, 11, 14, 20, 12, 18, 7, 17, 3, 8, 15, 16, 2]
 )
 
 names = [

Original file line number	Diff line number	Diff line change
`@@ -40,7 +40,7 @@ end`
`40`	`40`	`# The result is in alphabetical order, change to the wanted order`
`41`	`41`
`42`	`42`	`permute!(pages,`
`43`		`- [1, 9, 12, 19, 4, 5, 8, 17, 6, 10, 13, 20, 11, 18, 7, 16, 3, 14, 15, 2]`
	`43`	`+ [1, 10, 13, 19, 4, 5, 9, 6, 11, 14, 20, 12, 18, 7, 17, 3, 8, 15, 16, 2]`
`44`	`44`	`)`
`45`	`45`
`46`	`46`	`names = [`