diff options
Diffstat (limited to 'nixpkgs/doc/languages-frameworks/idris.section.md')
-rw-r--r-- | nixpkgs/doc/languages-frameworks/idris.section.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/nixpkgs/doc/languages-frameworks/idris.section.md b/nixpkgs/doc/languages-frameworks/idris.section.md index e30a849dd456..0fa828825749 100644 --- a/nixpkgs/doc/languages-frameworks/idris.section.md +++ b/nixpkgs/doc/languages-frameworks/idris.section.md @@ -134,9 +134,9 @@ For example you could set ```nix build-idris-package { - idrisBuildOptions = [ "--log" "1" "--verbose" ] + idrisBuildOptions = [ "--log" "1" "--verbose" ]; - ... + # ... } ``` |