Naïm Favier f7c7a18495 doc: use gitignoreSource ...

Running `make -C doc` to build the manual locally leaves .xml artifacts
in the tree. These are ignored by git, but they still get included in
the build when not using flakes, which causes the corresponding chapters
not to be built.

2023-02-13 14:55:09 +01:00

1.0 KiB

Raw Blame History

View Raw