nixpkgs/doc/.gitignore
Adam Joseph 756e220e1e doc/.gitignore: add media
These files are generated when you run `nix-shell --command make`
and are likely to be committed by accident.  Let's help people avoid
that.
2023-04-13 12:24:04 -07:00

12 lines
151 B
Plaintext

*.chapter.xml
*.section.xml
.version
functions/library/generated
functions/library/locations.xml
highlightjs
manual-full.xml
out
result
result-*
media