diff --git a/doc.zih.tu-dresden.de/misc/highlight_lines.png b/doc.zih.tu-dresden.de/docs/contrib/misc/highlight_lines.png similarity index 100% rename from doc.zih.tu-dresden.de/misc/highlight_lines.png rename to doc.zih.tu-dresden.de/docs/contrib/misc/highlight_lines.png