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

Generate links in man page #2931

Merged
merged 1 commit into from
Oct 12, 2023
Merged

Generate links in man page #2931

merged 1 commit into from
Oct 12, 2023

Conversation

emanuele6
Copy link
Member

@emanuele6 emanuele6 commented Oct 12, 2023

Some [foo](bar) links were added to manual.yml without updating build_manpage.py to make it generate roff for "a" tags.

Fixes #2930

Some [foo](bar) links were added to manual.yml without updating
build_manpage.py to make it generate roff for "a" tags.

Fixes jqlang#2930
@nicowilliams nicowilliams merged commit 9de0e26 into jqlang:master Oct 12, 2023
29 checks passed
@nicowilliams
Copy link
Contributor

Thanks!

@emanuele6 emanuele6 deleted the linkman branch October 12, 2023 20:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

man page missing text
3 participants