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

Get rid of hyperref anchor warning #114

Closed
jsf9k opened this issue Nov 26, 2023 · 0 comments · Fixed by #116
Closed

Get rid of hyperref anchor warning #114

jsf9k opened this issue Nov 26, 2023 · 0 comments · Fixed by #116
Assignees
Labels
improvement This issue or pull request will add or improve functionality, maintainability, or ease of use

Comments

@jsf9k
Copy link
Member

jsf9k commented Nov 26, 2023

🐛 Summary

When I run the BOD 18-01 scanning I get warnings from xetex in this Docker container:

Package hyperref Warning: The anchor of a bookmark and its parent's must not
(hyperref)                be the same. Added a new anchor on input line 371.

We should get rid of these warnings.

@jsf9k jsf9k added the improvement This issue or pull request will add or improve functionality, maintainability, or ease of use label Nov 26, 2023
@jsf9k jsf9k self-assigned this Nov 26, 2023
@github-project-automation github-project-automation bot moved this to To do in BOD 18-01 Nov 26, 2023
jsf9k added a commit that referenced this issue Nov 27, 2023
Resolves #114.

This gets rid of the following warning from xetex:
Package hyperref Warning: The anchor of a bookmark and its parent's must not
(hyperref)                be the same. Added a new anchor on input line 371.
jsf9k added a commit that referenced this issue Nov 27, 2023
@jsf9k jsf9k mentioned this issue Nov 27, 2023
9 tasks
jsf9k added a commit that referenced this issue Nov 27, 2023
Resolves #114.

This change makes this \subsection* identical to others in this same
document.
@github-project-automation github-project-automation bot moved this from To do to Done in BOD 18-01 Nov 28, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
improvement This issue or pull request will add or improve functionality, maintainability, or ease of use
Projects
Status: Done
Status: Done
Development

Successfully merging a pull request may close this issue.

1 participant