Merge pull request #226062 from amjoseph-nixpkgs/pr/manual/gitignore

NixOS · Apr 13, 2023 · 08918ef · 08918ef
2 parents f53d20e + 756e220
commit 08918ef
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/doc/.gitignore b/doc/.gitignore
@@ -8,3 +8,4 @@ manual-full.xml
 out
 result
 result-*
+media