Manual: Don't show obsolete/deprecated options

This commit is contained in:
Eelco Dolstra 2013-10-23 17:03:46 +02:00
parent 29014a47fb
commit ec0911ce7f
3 changed files with 3 additions and 1 deletions

View file

@ -276,6 +276,7 @@ rec {
declarations = map (x: toString x.source) opt.declarations;
#definitions = map (x: toString x.source) opt.definitions;
internal = opt.internal or false;
visible = opt.visible or true;
}
// optionalAttrs (opt ? example) { example = scrubOptionValue opt.example; }
// optionalAttrs (opt ? default) { default = scrubOptionValue opt.default; }