add symbolic link from old name to new name, so that outside links keep
working.
spec/index-respec.html
--- /dev/null Thu Jan 01 00:00:00 1970 +0000+++ b/spec/index-respec.html Fri Apr 19 15:00:18 2013 +0200@@ -0,0 +1,1 @@+tls-respec.html\ No newline at end of file