diff options
author | Rok Garbas <rok@garbas.si> | 2020-09-24 14:36:09 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-24 14:36:09 +0200 |
commit | 882b95802f330bd84bf8332c77c848cb0235d3d4 (patch) | |
tree | 794b26102a03f557b96d822b0de3fd081f7bf59f /doc | |
parent | 7e4b7ecd00e76d3f12c511e593d0189246b6323d (diff) | |
parent | 926c7e8b4ee53e5a3e7212e6c32096771f1612f9 (diff) |
Merge pull request #98640 from raboof/rename-guide-to-nixpkgs-manual
doc: rename guide to 'Nixpkgs Manual'
Diffstat (limited to 'doc')
-rw-r--r-- | doc/manual.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual.xml b/doc/manual.xml index 1f69872d2a72..4ca497e234ea 100644 --- a/doc/manual.xml +++ b/doc/manual.xml @@ -1,7 +1,7 @@ <book xmlns="http://docbook.org/ns/docbook" xmlns:xi="http://www.w3.org/2001/XInclude"> <info> - <title>Nixpkgs Users and Contributors Guide</title> + <title>Nixpkgs Manual</title> <subtitle>Version <xi:include href=".version" parse="text" /> </subtitle> </info> |