Remove some machine-specific items in documentation.
This is the first step to remove some machine-specific items in generated documentation to get a reproducible builds [1]. [1] https://wiki.debian.org/ReproducibleBuilds/About
Please register or sign in to comment