Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

latex backend: full path in heading labels #1332

Draft
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

Octachron
Copy link
Member

This PR fixes the label used for headings in the latex backend.

Previously, the latex backend used only the heading label, for instance,

(** {1:s_name Title } *)

generated

\subsection{Title\label{s_name}}

whereas the references used the full path

\hyperref[Module_name-s_name]{Title[p\pageref*{Module_name-s-name}]}

This PR fixes this discrepancy (observed on the odoc version of the OCaml manual) by using the full path in the heading translation.

@Octachron Octachron marked this pull request as draft March 18, 2025 15:00
@Octachron
Copy link
Member Author

There seems to be multiple changes required to make the reference manual works with odoc 3, I am planning to switch this PR to non-draft mode once I have compiled all the changes.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant