-
-
Notifications
You must be signed in to change notification settings - Fork 339
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
docs: Don't show mobile TOC menu JS code on CLI man page #2639
Conversation
|
I'm happy to see this fix and I have couple things to ask for. Please, move the HTML validity and cleanup changes to a separate PR - that's easy to review and get in and it will simplify this PR. Generally, describe the proposed changes in the PR description. For the new dependency, that would be better bot to backport unless it is made optional - it seems that adding a dependency for micro release is unexpected. Alternatively, do two separate PRs. Possible, although maybe not preferred scenario is a revert of the HTML changes causing #2633 in 8.2 and quick release of 8.3. It's bad that the CI did not catch #2633 before the code was merged. In case bs4 is used, such test is perhaps not as needed as much. |
4fd485a
to
1dc46be
Compare
The simplest an quick solution with less code and a dependency on the external Python module |
This looks promising now ! Quick test seems to work fine. |
Test the conversion of the module manual HTML page to the CLI manual page.
A unit test has been added c98b8de. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Works great, + for the simple solution. Thanks!
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Short code, fixes a bug, and adds a test. What else can one ask for?
Fixes #2633.