diff --git a/doc/.gitignore b/doc/.gitignore index e532ed0eb9c8..b08285995f66 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -8,3 +8,4 @@ manual-full.xml out result result-* +media