--- a/model/prov-magic.js Sun Nov 25 22:38:21 2012 +0000
+++ b/model/prov-magic.js Sun Nov 25 22:44:19 2012 +0000
@@ -16,11 +16,15 @@
/* A function to add a link to colored-coded diffs next to previous version URI */
function setColoredDiffs () {
+ setColoredDiffsForFile('diff.html');
+}
+
+function setColoredDiffsForFile (diff_file) {
$('dt').each(function(index) {
var content=$(this).text();
if (content== "Previous version:") {
console.log( "content " + content);
- $(this).next().append(" ").append($('<a>').attr('href','diff.html').append("(colored-coded diff)"));
+ $(this).next().append(" ").append($('<a>').attr('href',diff_file).append("(colored-coded diff)"));
}
})
}
--- a/model/prov-n.html Sun Nov 25 22:38:21 2012 +0000
+++ b/model/prov-n.html Sun Nov 25 22:44:19 2012 +0000
@@ -54,6 +54,10 @@
-->
<script class="remove">
+function setColoredDiffs () {
+ setColoredDiffsForFile('diff-n.html');
+}
+
$(document).ready(function(){
// if grammar is in a string:
$('#grammar_div').html(grammar_string);
--- a/model/releases/CR-prov-n-20121211/Overview.html Sun Nov 25 22:38:21 2012 +0000
+++ b/model/releases/CR-prov-n-20121211/Overview.html Sun Nov 25 22:44:19 2012 +0000
@@ -1,3 +1,4 @@
+
<!DOCTYPE html>
<html lang="en" dir="ltr">
<head>
@@ -800,7 +801,7 @@
<dt>Previous version:</dt>
- <dd><a href="http://www.w3.org/TR/2012/WD-prov-n-20120724/">http://www.w3.org/TR/2012/WD-prov-n-20120724/</a> <a href="diff.html">(colored-coded diff)</a></dd>
+ <dd><a href="http://www.w3.org/TR/2012/WD-prov-n-20120724/">http://www.w3.org/TR/2012/WD-prov-n-20120724/</a> <a href="diff-n.html">(colored-coded diff)</a></dd>
<dt>Editors:</dt>