From fe86e21946405097ed5b26e4dd7c30982b511822 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Mon, 11 Dec 2000 16:29:36 +0000
Subject: [PATCH] mirror generation
---
www/Makefile | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/www/Makefile b/www/Makefile
index 62c6b0e964..9f0677e262 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" |\
--
GitLab