stop ignoring doc/source/*
The doc/source directory contains rst files which are all tracked in git. Apparently sphinx never generates anything there so I guess we can stop ignoring the directory content. Change-Id: Ica41c7644cfc78203b3a5f8072a4452de49aa794
This commit is contained in:
parent
7acf012c2b
commit
f2c267f19c
1
.gitignore
vendored
1
.gitignore
vendored
@ -13,5 +13,4 @@ output
|
|||||||
etc/jenkins_jobs.ini
|
etc/jenkins_jobs.ini
|
||||||
dist/*
|
dist/*
|
||||||
doc/build/*
|
doc/build/*
|
||||||
doc/source/*
|
|
||||||
jenkins_jobs/versioninfo
|
jenkins_jobs/versioninfo
|
||||||
|
Loading…
Reference in New Issue
Block a user