diff options
author | pennae <github@quasiparticle.net> | 2023-01-03 05:21:22 +0100 |
---|---|---|
committer | pennae <github@quasiparticle.net> | 2023-01-10 10:31:56 +0100 |
commit | 2928e0c4876bcedbeb82675b217f9314c4fe2593 (patch) | |
tree | 19fe43d05da46d325e2bce1d9beb3eb041c831ed /nixos/modules/services/misc/taskserver/default.nix | |
parent | 0cc9d6cf5d264b4a561105c667c9d1065d05528f (diff) |
nixos/taskserver: convert manual chapter to MD
Diffstat (limited to 'nixos/modules/services/misc/taskserver/default.nix')
-rw-r--r-- | nixos/modules/services/misc/taskserver/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/nixos/modules/services/misc/taskserver/default.nix b/nixos/modules/services/misc/taskserver/default.nix index ee4bf42183f93..c39cde8106176 100644 --- a/nixos/modules/services/misc/taskserver/default.nix +++ b/nixos/modules/services/misc/taskserver/default.nix @@ -566,5 +566,7 @@ in { }) ]; + # Don't edit the docbook xml directly, edit the md and generate it: + # `pandoc doc.md -t docbook --top-level-division=chapter --extract-media=media -f markdown-smart --lua-filter ../../../../../doc/build-aux/pandoc-filters/myst-reader/roles.lua --lua-filter ../../../../../doc/build-aux/pandoc-filters/docbook-writer/rst-roles.lua > doc.xml` meta.doc = ./doc.xml; } |