Skip to content

Commit

Permalink
Fix environment's parent_page for pages
Browse files Browse the repository at this point in the history
Signed-off-by: Paul-Elliot <[email protected]>
  • Loading branch information
panglesd committed Jul 18, 2023
1 parent 5c158d1 commit 633aa4d
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions src/xref2/env.ml
Original file line number Diff line number Diff line change
Expand Up @@ -821,6 +821,7 @@ let open_page page env = add_docs page.Lang.Page.content env

let env_of_page page resolver =
let initial_env = open_page page empty in
let initial_env = { initial_env with parent_page = Some page.name } in
set_resolver initial_env resolver |> open_units resolver

let env_for_reference resolver =
Expand Down

0 comments on commit 633aa4d

Please sign in to comment.