about summary refs log tree commit diff
diff options
context:
space:
mode:
authorJonathan Turner <jonathandturner@users.noreply.github.com>2016-08-31 06:29:10 -0700
committerGitHub <noreply@github.com>2016-08-31 06:29:10 -0700
commit668a34d08e8d49d2d8895f460447e9c72f394d96 (patch)
tree94076e6560efec0dd17ba40f2d5c67342846620f
parent1048ea24e198d9b09951700d007cbbbd2a9b4649 (diff)
parent10b8e0ed6720e7e7ec7df8fd15671cb293342e20 (diff)
downloadrust-668a34d08e8d49d2d8895f460447e9c72f394d96.tar.gz
rust-668a34d08e8d49d2d8895f460447e9c72f394d96.zip
Rollup merge of #36130 - frewsxcv:patch-32, r=steveklabnik
rustbook chapters/sections should be an ordered list.
-rw-r--r--src/tools/rustbook/build.rs8
1 files changed, 4 insertions, 4 deletions
diff --git a/src/tools/rustbook/build.rs b/src/tools/rustbook/build.rs
index 6014439fafc..09c2d2510e3 100644
--- a/src/tools/rustbook/build.rs
+++ b/src/tools/rustbook/build.rs
@@ -61,9 +61,9 @@ fn write_toc(book: &Book, current_page: &BookItem, out: &mut Write) -> io::Resul
                  section,
                  item.title)?;
         if !item.children.is_empty() {
-            writeln!(out, "<ul class='section'>")?;
+            writeln!(out, "<ol class='section'>")?;
             let _ = walk_items(&item.children[..], section, current_page, out);
-            writeln!(out, "</ul>")?;
+            writeln!(out, "</ol>")?;
         }
         writeln!(out, "</li>")?;
 
@@ -71,9 +71,9 @@ fn write_toc(book: &Book, current_page: &BookItem, out: &mut Write) -> io::Resul
     }
 
     writeln!(out, "<div id='toc' class='mobile-hidden'>")?;
-    writeln!(out, "<ul class='chapter'>")?;
+    writeln!(out, "<ol class='chapter'>")?;
     walk_items(&book.chapters[..], "", &current_page, out)?;
-    writeln!(out, "</ul>")?;
+    writeln!(out, "</ol>")?;
     writeln!(out, "</div>")?;
 
     Ok(())