diff options
author | pennae <github@quasiparticle.net> | 2023-01-10 12:34:37 +0100 |
---|---|---|
committer | pennae <github@quasiparticle.net> | 2023-01-10 12:34:37 +0100 |
commit | 53fc887582fba4fd4938ce1b647d6152ea374ed1 (patch) | |
tree | 6042178980e8252bd81963d9ede8db0d21821e6d /nixos/doc | |
parent | b15f4d0f9735f3dbce30b7d8c490627f5d9394e5 (diff) |
nixos/manual: move "edit the MD file" comments to generated XML
Diffstat (limited to 'nixos/doc')
-rwxr-xr-x | nixos/doc/manual/md-to-db.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/nixos/doc/manual/md-to-db.sh b/nixos/doc/manual/md-to-db.sh index abf9417c50a2f..a7421bed532e8 100755 --- a/nixos/doc/manual/md-to-db.sh +++ b/nixos/doc/manual/md-to-db.sh @@ -62,6 +62,9 @@ for mf in ${MD_FILES[*]}; do [ -f "${mf%.md}.nix" ] || continue pandoc --top-level-division=chapter "$mf" "${pandoc_flags[@]}" -o "${mf%.md}.xml" + sed -i -e '1 i <!-- Do not edit this file directly, edit its companion .md instead\ + and regenerate this file using nixos/doc/manual/md-to-db.sh -->' \ + "${mf%.md}.xml" done popd |