diff options
| author | Tristan Van Berkom <tristan.vanberkom@codethink.co.uk> | 2018-08-28 21:42:51 +0900 |
|---|---|---|
| committer | Tristan Van Berkom <tristan.van.berkom@gmail.com> | 2018-08-29 10:46:30 +0000 |
| commit | 63c6ee724a13af2b2de0b1c7766d8477efef1759 (patch) | |
| tree | afb6959542ff15c30df743d09cfb2593c81e1b0b /doc/source | |
| parent | c5eca59d8ddf29424a185312e4079271f5be530e (diff) | |
| download | buildstream-63c6ee724a13af2b2de0b1c7766d8477efef1759.tar.gz | |
doc: Adding badges.py release badge generator
This adds a step to the docs generation Makefile to generate
release.svg and snapshot.svg badges, modelled after the gitlab
badges.
This also adds the generated badges directory in docs to .gitignore
Diffstat (limited to 'doc/source')
| -rw-r--r-- | doc/source/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/source/conf.py b/doc/source/conf.py index 60477bbd5..5aaaed280 100644 --- a/doc/source/conf.py +++ b/doc/source/conf.py @@ -160,7 +160,7 @@ html_theme = 'sphinx_rtd_theme' # Add any paths that contain custom static files (such as style sheets) here, # relative to this directory. They are copied after the builtin static files, # so a file named "default.css" will overwrite the builtin "default.css". -html_static_path = [] +html_static_path = ['badges'] # Add any extra paths that contain custom files (such as robots.txt or # .htaccess) here, relative to this directory. These files are copied |