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

mdocml: fix section name bugs in man-cgi #48800

Merged
merged 1 commit into from
Feb 17, 2024

Conversation

classabbyamp
Copy link
Member

@classabbyamp classabbyamp commented Feb 17, 2024

because of the previous patch that allows man-cgi to use .gz-compressed manpages, there were some issues in various places.

also adds patch that allows for injecting HTML into <head>, so we can drop putting custom stuff in mandoc.css and just add a second stylesheet when building the containers in void-infrastructure.

Testing the changes

  • I tested the changes in this PR: YES

cc @leahneukirchen

see also void-linux/void-infrastructure#190

because of the previous patch that allows man-cgi to use
`.gz`-compressed manpages, there were some issues in various places.

also adds patch that allows for injecting HTML into `<head>`, so we can
drop putting custom stuff in mandoc.css and just add a second stylesheet
when building the containers in void-infrastructure.
@classabbyamp classabbyamp merged commit 45756e8 into void-linux:master Feb 17, 2024
8 checks passed
@classabbyamp classabbyamp deleted the man-cgi-title branch February 17, 2024 14:10
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