From 0ad3f815c5690cdc7423050e49cb17f4edfe01a0 Mon Sep 17 00:00:00 2001 From: Josh Holtrop Date: Fri, 14 Jun 2019 16:47:54 -0400 Subject: [PATCH] user guide: include section numbers in page navigation links --- rb/gen_user_guide.rb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rb/gen_user_guide.rb b/rb/gen_user_guide.rb index 1e5d50c..df989e3 100644 --- a/rb/gen_user_guide.rb +++ b/rb/gen_user_guide.rb @@ -82,7 +82,7 @@ class Generator @pages = [Page.new("toc", "Table of Contents", render_toc)] @sections.each do |section| unless @pages.last.name == section.page - @pages << Page.new(section.page, section.title) + @pages << Page.new(section.page, "#{section.number} #{section.title}") end @pages.last.contents += render_section(section) end