X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Falt.sh;fp=helm%2Fwww%2Flambdadelta%2Falt.sh;h=80a326f64d42e4c2f9971c037e713128e15da202;hb=9554ed555d9c744d7dfb787ccdaa6fc63eb6ba10;hp=0000000000000000000000000000000000000000;hpb=ba7b8553850e4a33cf8607b07758392230d9ed40;p=helm.git

diff --git a/helm/www/lambdadelta/alt.sh b/helm/www/lambdadelta/alt.sh
new file mode 100644
index 000000000..80a326f64
--- /dev/null
+++ b/helm/www/lambdadelta/alt.sh
@@ -0,0 +1 @@
+sed s?lambdadelta.info?www.cs.unibo.it/~fguidi/lambdadelta?g html/$1.html > html/$1.alt.html