user guide: fix section anchors

2019-06-09 22:45:26 -04:00 · 2019-06-09 22:45:26 -04:00 · 947a65a75e
commit 947a65a75e
parent 66fac4f982
1 changed files with 1 additions and 1 deletions
--- 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