diff options
author | Georges Dubus <georges.dubus@gmail.com> | 2019-07-11 13:13:18 +0200 |
---|---|---|
committer | Frederik Rietdijk <freddyrietdijk@fridh.nl> | 2019-07-11 13:46:53 +0200 |
commit | ab3e932325a674883c2a3e15447194a05ed6c449 (patch) | |
tree | 7771ebad24f597be4389ff6d3fcd60b7f12e8424 /doc | |
parent | 48a28c399c3976983eda80890258b0f8913f6f43 (diff) |
doc: fix stdenv.xml
A duplicated opening tag caused the linter to fail, blocking the whole
nixpkgs-unstable channel.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/stdenv.xml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/stdenv.xml b/doc/stdenv.xml index 1dd8ea8cabab..fbb84b03a8d5 100644 --- a/doc/stdenv.xml +++ b/doc/stdenv.xml @@ -998,7 +998,6 @@ passthru.updateScript = [ ../../update.sh pname "--requested-release=unstable" ] </listitem> </varlistentry> <varlistentry> - <varlistentry> <term> <varname>dontMakeSourcesWritable</varname> </term> |