diff options
| author | David Bremner <david@tethera.net> | 2019-04-21 13:53:03 -0300 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2019-04-24 06:53:07 -0300 |
| commit | f0399db513ce2f12b94cd8aefe54be408d39fb62 (patch) | |
| tree | 4874942d566f1a2855917a7acd28c89cd28452ee /bindings/python/docs/source/database.rst | |
| parent | 08cd2e57bb3de3922ba54ad95c1e8e85a131330c (diff) | |
doc: use stamp file to control rebuilding texi
Apparently the sphinx-doc texinfo builder is not smart enough to only
rebuild those files where the source has changed.
Diffstat (limited to 'bindings/python/docs/source/database.rst')
0 files changed, 0 insertions, 0 deletions