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

Javadoc "Why?" links don't appear to include the section header #408

Open
cpovirk opened this issue Aug 14, 2023 · 1 comment
Open

Javadoc "Why?" links don't appear to include the section header #408

cpovirk opened this issue Aug 14, 2023 · 1 comment
Labels
documentation For issues related to user-facing documentation nullness For issues specific to nullness analysis.

Comments

@cpovirk
Copy link
Collaborator

cpovirk commented Aug 14, 2023

Probably bitly dropped it at creation time?

$ wget https://bit.ly/3ppb8ZC                                                                                                                                                                                    
...
Location: https://docs.google.com/document/d/1H3TdqjRZQiGEP7ZePLpTnbYxj9s5hJAn9sp6eOiuj_c/preview [following]

$ wget https://bit.ly/3ppb8ZC
...
Location: https://docs.google.com/document/d/1H3TdqjRZQiGEP7ZePLpTnbYxj9s5hJAn9sp6eOiuj_c/preview [following]

So all links dump you at the top of the doc :(

(Thanks to a Googler for the report.)

@cpovirk
Copy link
Collaborator Author

cpovirk commented Aug 14, 2023

Err, I was sure I'd seen two different bit.ly links (presumably corresponding to different section anchors/fragments). But re-reading the above (only after posting, of course!), I see that it's the same link. So it appears intentional that we don't include the section header. Probably the hope is that we'll have a "real" documentation page soon enough, at which point we'll do things right.

Anyway, the eventual desired behavior is the same, but I misunderstood the state of the world.

@kevinb9n kevinb9n added the documentation For issues related to user-facing documentation label Jan 31, 2024
@kevinb9n kevinb9n added the nullness For issues specific to nullness analysis. label Mar 13, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation For issues related to user-facing documentation nullness For issues specific to nullness analysis.
Projects
None yet
Development

No branches or pull requests

2 participants