From dd8857a8397cec7a33980053800d82733821ab22 Mon Sep 17 00:00:00 2001
From: Olivier Berten <olivier.berten@gmail.com>
Date: Fri, 15 Jan 2016 10:24:49 +0100
Subject: [PATCH] Add credits for the sources' scans

---
 source.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/source.php b/source.php
index 72114ae..03c961f 100644
--- a/source.php
+++ b/source.php
@@ -41,6 +41,7 @@
 			$n[$i] .= ($i == $start) ? '' : '</a>';
 		}
 		echo "<p><b>Pages</b> ".implode(' | ', $n)."</p>\n";
+		echo "<p><i>".$sources[$s]['caption']."</i></p>\n";
 		echo "<table>\n<tr><th>Page</th><th>Incipit</th></tr>";
 		for($i = $start; $i < min($start+$ipp, $np); $i++) {
 			$p = $sources[$s]['pages'][$i];