fix docs build

This commit is contained in:
Pedro Alves 2023-02-14 16:45:18 +00:00
parent 92be158083
commit 7d33650e38

View file

@ -79,7 +79,7 @@ in
port = helpers.defaultNullOpts.mkStr "" "Custom port to start server or empty for random";
pageTitle = helpers.defaultNullOpts.mkStr "\${name}" ''
preview page title. \${name} will be replaced with the file name.
preview page title. $${name} will be replaced with the file name.
'';
fileTypes = helpers.defaultNullOpts.mkNullable (types.listOf types.str) "['markdown']" ''