4 commits

Author	SHA1	Message	Date
Rahul Butani	d82cf4a016	manual: fix formatting for options with "machine-specific" defaults	2022-02-15 15:44:05 -06:00
Arthur Gautier	21520297da	reproducibility: hide non-reproducible settings from manual ... Because the manual is generated from default values which are themselves generated from various sources (cpuid, bios settings (kvm), number of cores). This commit hides non-reproducible settings from the manual output.	2021-12-01 17:25:58 +01:00
Kevin Quick	83fec38fc9	Update document generation for empty json object values.	2020-09-24 22:41:24 -07:00
Eelco Dolstra	39bc49318f	jq -> nix	2020-09-16 14:58:06 +02:00