Documentation: Create build folder in case it does not exist. However, add it to the git repo by placing a .gitignore inside

This commit is contained in:
Mario Hüttel 2020-08-16 11:50:20 +02:00
parent fa3c980207
commit 4a441a9c44
2 changed files with 4 additions and 1 deletions

1
doc/.gitignore vendored
View File

@ -1 +0,0 @@
build/*

View File

@ -28,6 +28,10 @@ release = re.sub('^v', '', os.popen('git describe --always --tags --dirty').read
# The short X.Y version. # The short X.Y version.
version = release version = release
try:
os.mkdir('../build/_doxygen')
except FileExistsError:
pass
subprocess.call('doxygen Doxyfile.in', shell=True) subprocess.call('doxygen Doxyfile.in', shell=True)
# -- General configuration --------------------------------------------------- # -- General configuration ---------------------------------------------------