diff options
author | Marc Glisse <marc.glisse@inria.fr> | 2020-06-05 23:05:34 +0200 |
---|---|---|
committer | Marc Glisse <marc.glisse@inria.fr> | 2020-06-05 23:05:34 +0200 |
commit | 299a62e6ec581e5095c9fdc73e454f35ed88f711 (patch) | |
tree | 8315d238294389f28673c7e83be47a45826892a4 /src/python/doc/img/spiral-diag.png | |
parent | 02baef8170649f917882db727156636315bae8cf (diff) |
Autogenerate the images when building the doc
It does slow down building the doc significantly though.
Diffstat (limited to 'src/python/doc/img/spiral-diag.png')
-rw-r--r-- | src/python/doc/img/spiral-diag.png | bin | 23621 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/src/python/doc/img/spiral-diag.png b/src/python/doc/img/spiral-diag.png Binary files differdeleted file mode 100644 index 018ef88d..00000000 --- a/src/python/doc/img/spiral-diag.png +++ /dev/null |