From 9bf0abbece435973148059a06c2db825fc053f77 Mon Sep 17 00:00:00 2001 From: Josh Holtrop Date: Sun, 23 Jun 2019 17:29:50 -0400 Subject: [PATCH] user guide: fix inter-page 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 360fea7..5f7c7d8 100644 --- a/rb/gen_user_guide.rb +++ b/rb/gen_user_guide.rb @@ -176,7 +176,7 @@ class Generator section.title == section_name end raise "Could not find section #{section_name}" unless section - "#{section.page}##{section.anchor}" + "#{section.page}.html##{section.anchor}" end def gather_code_section(syntax)