diff options
author | Graham Christensen <graham@grahamc.com> | 2018-04-28 04:00:55 -0400 |
---|---|---|
committer | Graham Christensen <graham@grahamc.com> | 2018-04-28 04:00:55 -0400 |
commit | 0ff0d138e4e9d68853c463a540d61718aa91cffb (patch) | |
tree | 05bf865e42a5e88ff6b8b6f904b8488e956fa0b7 /nixos/doc/manual/Makefile | |
parent | 59f8b1e844d679d1ae7d2a94cf02f9ca259f0dfa (diff) |
nixos docs: Add a makefile for hacking on the nixos docs
Diffstat (limited to 'nixos/doc/manual/Makefile')
-rw-r--r-- | nixos/doc/manual/Makefile | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/nixos/doc/manual/Makefile b/nixos/doc/manual/Makefile new file mode 100644 index 000000000000..b15fbaa270fc --- /dev/null +++ b/nixos/doc/manual/Makefile @@ -0,0 +1,8 @@ +debug: + nix-shell --packages xmloscopy \ + --run 'xmloscopy --docbook5 ./manual.xml ./manual-combined.xml' + +generated: ./options-to-docbook.xsl + nix-build ../../release.nix \ + --attr manualGeneratedSources.x86_64-linux \ + --out-link ./generated |