Add credits for the sources' scans

gregorio-project · Jan 15, 2016 · dd8857a · dd8857a
1 parent 7da5ed8
commit dd8857a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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];