Move files from doc to docs

[escalator.git] / docs / images / figure4.png

diff --git a/doc/images/figure4.png b/docs/images/figure4.png
similarity index 100%
rename from doc/images/figure4.png
rename to docs/images/figure4.png