diff options
| author | Robert Hensing <roberth@users.noreply.github.com> | 2022-10-18 11:31:54 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-18 11:31:54 +0200 |
| commit | 6259b29f290e27b8853982bfded52d3f0653bdc2 (patch) | |
| tree | 21526bf57148a954f8c4224a38ee753bc6d40fa1 /nixos/lib | |
| parent | 46e516e4434ca65e31ecb1e3df4f03c7e2fe953d (diff) | |
| parent | 2480532bd11d1b26659267033345a4812dc063f5 (diff) | |
Merge pull request #194035 from Ma27/show-option-quoting
lib/options/showOption: fix quoting of attr-names that are not identifiers
Diffstat (limited to 'nixos/lib')
| -rw-r--r-- | nixos/lib/make-options-doc/options-to-docbook.xsl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/nixos/lib/make-options-doc/options-to-docbook.xsl b/nixos/lib/make-options-doc/options-to-docbook.xsl index d5b921b1dedb..0fe14a6d2d16 100644 --- a/nixos/lib/make-options-doc/options-to-docbook.xsl +++ b/nixos/lib/make-options-doc/options-to-docbook.xsl @@ -40,8 +40,8 @@ concat($optionIdPrefix, translate( attr[@name = 'name']/string/@value, - '*< >[]:', - '_______' + '*< >[]:"', + '________' ))" /> <varlistentry> <term xlink:href="#{$id}"> |