diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index 13b5d5d47..32f8a186e 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,5 @@ # exclude the compiled binary -/server
\ No newline at end of file +/server + +# exclude built documentation, since readthedocs will build it for us anyway +/docs/_build |
