From bbb957274219381dfcf152a0f100452b61a03c90 Mon Sep 17 00:00:00 2001
From: Stefan Bienert <stefan.bienert@unibas.ch>
Date: Tue, 3 Mar 2015 16:50:33 +0100
Subject: [PATCH] Only fetching invoked images for documentation
---
doc/make.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/make.py b/doc/make.py
index 71f2dc1bc..57da9479e 100644
--- a/doc/make.py
+++ b/doc/make.py
@@ -34,7 +34,7 @@ def _RequireCopy(in_name, out_name):
return False
-pattern = re.compile('[a-zA-Z0-9_//]+\.png|[a-zA-Z0-9_//]+\.jpg')
+pattern = re.compile(r'\.\.\s+image\:\:\s+([a-zA-Z0-9_\-//]+\.png|[a-zA-Z0-9_\-//]+\.jpg)')
def _CheckImage(in_name):
file = open(in_name, "r")
text = file.read()
--
GitLab