diff --git a/.gitignore b/.gitignore index 079e8e4e..9d409ac5 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,3 @@ runtime -nightly \ No newline at end of file +nightly +doc/tags \ No newline at end of file