From 44bd4b34c6574f0a4dd671a25ffeb5726c7a0247 Mon Sep 17 00:00:00 2001 From: Robert Hensing Date: Thu, 11 Feb 2021 14:42:26 +0100 Subject: [PATCH] options.adoc: Hint where to edit options Useful when generated docs will have edit links pointing to options.adoc. --- docs/modules/ROOT/pages/options.adoc | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/docs/modules/ROOT/pages/options.adoc b/docs/modules/ROOT/pages/options.adoc index 6bd05ec..db59485 100644 --- a/docs/modules/ROOT/pages/options.adoc +++ b/docs/modules/ROOT/pages/options.adoc @@ -1 +1,5 @@ -include::partial$NixOSOptions.adoc[] \ No newline at end of file +// To update option descriptions +// - use git grep or github search +// - or browse through src/nix/modules + +include::partial$NixOSOptions.adoc[]