Separate HTML document and man page

NixOS / nix

Nix, the purely functional package manager

https://nixos.org/

GNU Lesser General Public License v2.1

12.14k stars 1.47k forks source link

Separate HTML document and man page #5719

Open cireu opened 2 years ago

cireu commented 2 years ago

Is your feature request related to a problem? Please describe.

While packaging Nix for a Linux distro, HTML document generation and manpage generation are all controlled by flag --disable-doc-gen. If packager want to disable one of them, they have to patch the source

Describe the solution you'd like Split the doc-gen flag into html-doc-gen and manpage-gen.

stale[bot] commented 2 years ago

I marked this as stale due to inactivity. → More info