11d204a9c4
I'm not 100% sure about the incompatibility lines, but I believe it's better to discourage these anyway. If you find better information, feel free to amend... The 32-bit thing is completely GPU-agnostic, so I can't see why we had it separately for proprietary drivers and missing for the rest.
To build the manual, you need Nix installed on your system (no need
for NixOS). To install Nix, follow the instructions at
https://nixos.org/nix/download.html
When you have Nix on your system, in the root directory of the project
(i.e., `nixpkgs`), run:
nix-build nixos/release.nix -A manual.x86_64-linux
When this command successfully finishes, it will tell you where the
manual got generated.