update docs/extensions/fancy_include.py with git_cast_file2repos.py

RI-imaging · Sep 30, 2017 · 45bee02 · 45bee02
1 parent e7cca0b
commit 45bee02
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/extensions/fancy_include.py b/docs/extensions/fancy_include.py
@@ -69,7 +69,7 @@ def run(self):
             rst.append(".. figure:: {}".format(image_path))
 
         # download file
-        rst.append(":download:`{}`".format(
+        rst.append(":download:`{}<{}>`".format(
             op.basename(full_path), full_path))
 
         # code