diff options
| author | Graham Christensen <graham@grahamc.com> | 2018-09-01 16:15:29 -0400 |
|---|---|---|
| committer | Graham Christensen <graham@grahamc.com> | 2018-09-01 16:20:49 -0400 |
| commit | 34d2ec7c09ec01f1205d1a949a33bd6fdf1417fc (patch) | |
| tree | 56fb1a8e27bb277ea9f1bfae235a859ba42edab6 /nixos/doc/manual/manual.xml | |
| parent | 18fd616351a25622b1dc43c59d0c52ace5bfe3ef (diff) | |
| download | nixlib-34d2ec7c09ec01f1205d1a949a33bd6fdf1417fc.tar nixlib-34d2ec7c09ec01f1205d1a949a33bd6fdf1417fc.tar.gz nixlib-34d2ec7c09ec01f1205d1a949a33bd6fdf1417fc.tar.bz2 nixlib-34d2ec7c09ec01f1205d1a949a33bd6fdf1417fc.tar.lz nixlib-34d2ec7c09ec01f1205d1a949a33bd6fdf1417fc.tar.xz nixlib-34d2ec7c09ec01f1205d1a949a33bd6fdf1417fc.tar.zst nixlib-34d2ec7c09ec01f1205d1a949a33bd6fdf1417fc.zip | |
nixos docs: give IDs to things
Diffstat (limited to 'nixos/doc/manual/manual.xml')
| -rw-r--r-- | nixos/doc/manual/manual.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nixos/doc/manual/manual.xml b/nixos/doc/manual/manual.xml index e9338efbc025..a5efde32885c 100644 --- a/nixos/doc/manual/manual.xml +++ b/nixos/doc/manual/manual.xml @@ -8,7 +8,7 @@ <subtitle>Version <xi:include href="./generated/version" parse="text" /> </subtitle> </info> - <preface> + <preface xml:id="preface"> <title>Preface</title> <para> This manual describes how to install, use and extend NixOS, a Linux |