diff options
Diffstat (limited to 'doc/manual/manual.xml')
| -rw-r--r-- | doc/manual/manual.xml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/manual/manual.xml b/doc/manual/manual.xml index d47e57123853..686ab612f29a 100644 --- a/doc/manual/manual.xml +++ b/doc/manual/manual.xml @@ -7,7 +7,8 @@ <!ENTITY quick-start SYSTEM "quick-start.xml"> <!ENTITY installation SYSTEM "installation.xml"> <!ENTITY overview SYSTEM "overview.xml"> -<!ENTITY opt-verbose SYSTEM "opt-verbose.xml"> +<!ENTITY opt-common SYSTEM "opt-common.xml"> +<!ENTITY opt-common-syn SYSTEM "opt-common-syn.xml"> <!ENTITY nix-env SYSTEM "nix-env.xml"> <!ENTITY nix-store SYSTEM "nix-store.xml"> <!ENTITY nix-instantiate SYSTEM "nix-instantiate.xml"> |