0
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-07-13 13:40:28 +03:00

nixos/manual: move "edit the MD file" comments to generated XML

This commit is contained in:
pennae 2023-01-10 12:34:37 +01:00
parent b15f4d0f97
commit 53fc887582
85 changed files with 87 additions and 42 deletions

View file

@ -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