chiark / gitweb /
documentation/python: properly extract images with complex paths.
authorVladimír Vondruš <mosra@centrum.cz>
Sun, 7 Jul 2019 10:49:59 +0000 (12:49 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Sun, 7 Jul 2019 12:10:41 +0000 (14:10 +0200)
commit51b193523c0694ab3806fe377ffd172466d63399
treea97df2d0b9968d46b83358d26b6ad1cf2f1ff034
parent29ddf48aa3e0cf46b60fd36f1118ab81bb289f77
documentation/python: properly extract images with complex paths.

The paths are patched to contains just a filename so things like
../../image.png work and don't lead to unreferenceable images. This is
similar to what Doxygen does even though I don't really like that -- it
could lead to conflicting files if there are files with the same
basename.
doc/documentation/python.rst
documentation/python.py
documentation/test_python/page_plugins/index.html
documentation/test_python/page_plugins/index.rst
documentation/test_python/page_plugins/subdir/tiny.png [new symlink]