diff --git a/.gitignore b/.gitignore index 4de625721..c73f5087f 100644 --- a/.gitignore +++ b/.gitignore @@ -13,5 +13,4 @@ output etc/jenkins_jobs.ini dist/* doc/build/* -doc/source/* jenkins_jobs/versioninfo