From 947a65a75e66251ed841d89600b7f903aa39bc8b Mon Sep 17 00:00:00 2001 From: Josh Holtrop Date: Sun, 9 Jun 2019 22:45:26 -0400 Subject: [PATCH] user guide: fix section anchors --- 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 efe302f..085cda8 100644 --- a/rb/gen_user_guide.rb +++ b/rb/gen_user_guide.rb @@ -27,7 +27,7 @@ class Generator @title = title.gsub(/[`]/, "") @new_page = new_page @contents = "" - @anchor = "s" + title.gsub(/[^a-zA-Z0-9]/, "_") + @anchor = "s" + ("#{number} #{title}").gsub(/[^a-zA-Z0-9]/, "_") end def append(contents) @contents += contents