Skip to content

Fix missing option value names in manuals#473

Merged
rauhul merged 1 commit into
mainfrom
man-page-improvements-3
Aug 26, 2022
Merged

Fix missing option value names in manuals#473
rauhul merged 1 commit into
mainfrom
man-page-improvements-3

Conversation

@rauhul
Copy link
Copy Markdown
Collaborator

@rauhul rauhul commented Aug 25, 2022

  • Fixes a manual generation bug where options in the synopsis were not
    given an option value name and flags were.

@rauhul
Copy link
Copy Markdown
Collaborator Author

rauhul commented Aug 25, 2022

@swift-ci please test

- Fixes a manual generation bug where options in the synopsis were not
  given an option value name and flags were.
@rauhul rauhul force-pushed the man-page-improvements-3 branch from f23b523 to ca4a7dd Compare August 26, 2022 07:03
@rauhul
Copy link
Copy Markdown
Collaborator Author

rauhul commented Aug 26, 2022

@swift-ci please test

@rauhul rauhul merged commit b1b0595 into main Aug 26, 2022
@rauhul rauhul deleted the man-page-improvements-3 branch August 26, 2022 07:08
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.

2 participants