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

scripts/managen: fix option 'single' #16344

Closed
wants to merge 1 commit into from
Closed

Conversation

jay
Copy link
Member

@jay jay commented Feb 16, 2025

  • Fix option 'single' to generate single manpages.

As far as I can tell the option did not work prior to this change.

Example: scripts/managen -d docs/cmdline-opts single variable.md

Closes #xxxx

- Fix option 'single' to generate single manpages.

As far as I can tell the option did not work prior to this change.

Example: scripts/managen -d docs/cmdline-opts single variable.md

Closes #xxxx
@jay jay added the script label Feb 16, 2025
@testclutch
Copy link

Analysis of PR #16344 at 93bbf020:

Test 1631 failed, which has NOT been flaky recently, so there could be a real issue in this PR.

Test 1632 failed, which has NOT been flaky recently, so there could be a real issue in this PR.

Generated by Testclutch

Copy link
Member

@bagder bagder left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We never use this anyway so it went unnoticed. I still have a distant idea about at some point rendering stand-alone pages for each option to display on the website...

@jay
Copy link
Member Author

jay commented Feb 16, 2025

We never use this anyway so it went unnoticed.

Ok. It is useful to me because when I was working on #16345 I was generating variable.md repeatedly until I got the formatting logic correct in managen. 'single' will output just the one page without anything else so it's a lot easier to comb through the output.

@jay jay closed this in 760bbb2 Feb 16, 2025
@jay jay deleted the managen_single branch February 16, 2025 23:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Development

Successfully merging this pull request may close these issues.

3 participants