doc: Add link to configuration options.html (#2851)

This commit is contained in:
pogobanane 2022-04-01 23:19:45 +02:00 committed by GitHub
parent e1fab012e8
commit 38156bd4ed
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions

View File

@ -9,7 +9,8 @@ specific (non global) packages and dotfiles.
Before attempting to use Home Manager please read the warning below.
For a more systematic overview of Home Manager and its available
options, please see the [Home Manager manual][manual].
options, please see the Home Manager [manual][manual] and
[options][configuration options].
If you would like to contribute to Home Manager
then please have a look at the [contributing][] chapter of the manual.