rfcdiff-v1.45   rfcdiff 
skipping to change at line 105 skipping to change at line 105
# generating the diff, to produce a cleaner diff. # generating the diff, to produce a cleaner diff.
# #
# It is called as # It is called as
# #
# rfcdiff first-file second-file # rfcdiff first-file second-file
# #
# The latest version is available from # The latest version is available from
# http://tools.ietf.org/tools/rfcdiff/ # http://tools.ietf.org/tools/rfcdiff/
# #
export version="1.45" export version="1.46"
export progdate="" export progdate=""
export prelines="10" export prelines="10"
export basename=$(basename $0) export basename=$(basename $0)
export workdir="/tmp/$basename-$$" export workdir="/tmp/$basename-$$"
export pagecache1="$workdir/pagecache1" export pagecache1="$workdir/pagecache1"
export pagecache2="$workdir/pagecache2" export pagecache2="$workdir/pagecache2"
# ---------------------------------------------------------------------- # ----------------------------------------------------------------------
# Utility to find an executable # Utility to find an executable
# ---------------------------------------------------------------------- # ----------------------------------------------------------------------
skipping to change at line 1041 skipping to change at line 1041
new_str = format_chunk(index); new_str = format_chunk(index);
new_chunk = find_chunk(new_str); new_chunk = find_chunk(new_str);
if (!new_chunk) { if (!new_chunk) {
return; return;
} }
if (old_chunk) { if (old_chunk) {
old_chunk.style.outline = ""; old_chunk.style.outline = "";
} }
old_chunk = new_chunk; old_chunk = new_chunk;
old_chunk.style.outline = "1px solid red"; old_chunk.style.outline = "1px solid red";
window.location.hash = "#" + new_str; window.location.replace("#" + new_str)
window.scrollBy(0,-100); window.scrollBy(0,-100);
chunk_index = index; chunk_index = index;
} }
document.onkeydown = function(e) { document.onkeydown = function(e) {
switch (e.keyCode) { switch (e.keyCode) {
case 78: case 78:
change_chunk(1); change_chunk(1);
break; break;
case 80: case 80:
 End of changes. 2 change blocks. 
2 lines changed or deleted 2 lines changed or added

This html diff was produced by rfcdiff 1.46. The latest version is available from http://tools.ietf.org/tools/rfcdiff/