From d727754d9a888e592b1f1fb00f6f75ae10e18550 Mon Sep 17 00:00:00 2001 From: Frederik Rietdijk Date: Mon, 28 Oct 2019 11:46:27 +0100 Subject: [PATCH] nixos manual: move preface into own file --- nixos/doc/manual/manual.xml | 27 +-------------------------- nixos/doc/manual/preface.xml | 29 +++++++++++++++++++++++++++++ 2 files changed, 30 insertions(+), 26 deletions(-) create mode 100644 nixos/doc/manual/preface.xml diff --git a/nixos/doc/manual/manual.xml b/nixos/doc/manual/manual.xml index 12f52e1997c8..18a67a2dd941 100644 --- a/nixos/doc/manual/manual.xml +++ b/nixos/doc/manual/manual.xml @@ -8,32 +8,7 @@ Version - - Preface - - This manual describes how to install, use and extend NixOS, a Linux - distribution based on the purely functional package management system Nix. - - - If you encounter problems, please report them on the - Discourse or - on the - #nixos channel on Freenode. Bugs should be - reported in - NixOS’ - GitHub issue tracker. - - - - Commands prefixed with # have to be run as root, either - requiring to login as root user or temporarily switching to it using - sudo for example. - - - + diff --git a/nixos/doc/manual/preface.xml b/nixos/doc/manual/preface.xml new file mode 100644 index 000000000000..e9cb3b08e084 --- /dev/null +++ b/nixos/doc/manual/preface.xml @@ -0,0 +1,29 @@ + + Preface + + This manual describes how to install, use and extend NixOS, a Linux + distribution based on the purely functional package management system + Nix. + + + If you encounter problems, please report them on the + Discourse or + on the + #nixos channel on Freenode. Bugs should be + reported in + NixOS’ + GitHub issue tracker. + + + + Commands prefixed with # have to be run as root, either + requiring to login as root user or temporarily switching to it using + sudo for example. + + +