45756e8cde
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. |
||
|---|---|---|
| .. | ||
| files | ||
| patches | ||
| INSTALL | ||
| template | ||
| update | ||