diff --git a/www/Makefile b/www/Makefile index 62c6b0e9649ce5f09f2eb5993c47eae3c7f3376f..9f0677e26286924d6b35ce70ec49eb554097a3ff 100644 --- a/www/Makefile +++ b/www/Makefile @@ -1,4 +1,9 @@ +mirror: + cat gmsh.html |\ + sed "s/\/gmsh\//http:\/\/www.geuz.org\/gmsh\//g" |\ + sed "s/\/getdp\//http:\/\/www.geuz.org\/getdp\//g" > gmsh-mirror.html + cgi: cat gmsh.html |\ sed "s/<!---BEGINSCRIPT//g" |\