From: Luca Padovani <luca.padovani@unito.it>
Date: Wed, 13 Feb 2002 19:17:44 +0000 (+0000)
Subject: - install/uninstall targets added
X-Git-Tag: V_0_3_0_debian_8~323
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7f82c382166aefe91da488d4ff7d37c0e2389352;p=helm.git

- install/uninstall targets added
- link to personal page now with target="_top"
---

diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile
index 55c50220e..03f9be93d 100644
--- a/helm/mowgli/home/html/Makefile
+++ b/helm/mowgli/home/html/Makefile
@@ -1,6 +1,10 @@
+
+DESTDIR = /tmp/public_html
+
 TEMPLATESROOT = ../templates
 XMLROOT = ../xml
 XSLROOT = ../xsl
+
 DOCUMENTS = \
             index.html \
             home.html \
@@ -153,5 +157,22 @@ clean:
 	rm -f $(DOCUMENTS)
 .PHONY: clean
 
+install: $(DOCUMENTS)
+	mkdir -p $(DESTDIR)/html
+	for i in $(dir $(DOCUMENTS)); do \
+		mkdir -p $(DESTDIR)/html/$$i; \
+	done
+	for i in $(DOCUMENTS); do \
+		cp $$i $(DESTDIR)/html/$$i; \
+	done
+	mkdir -p $(DESTDIR)/images
+	cp ../images/*.* $(DESTDIR)/images
+	mkdir -p $(DESTDIR)/style
+	cp ../style/*.css $(DESTDIR)/style
+	sed s/menu\\.html/html\\/menu\\.html/ <index.html | sed s/home\\.html/html\\/home\\.html/ >$(DESTDIR)/index.html
+
+uninstall:
+	rm -rf $(DESTDIR)/*
+
 $(XSLROOT)/%.xsl : $(XSLROOT)/common.xsl
 
diff --git a/helm/mowgli/home/xsl/person.xsl b/helm/mowgli/home/xsl/person.xsl
index 9cecd5c38..61b7e0b72 100644
--- a/helm/mowgli/home/xsl/person.xsl
+++ b/helm/mowgli/home/xsl/person.xsl
@@ -80,7 +80,7 @@
  <xsl:if test="url">
   <p>
    <xsl:text>Home Page: </xsl:text>
-   <a href="{url}">
+   <a target="_top" href="{url}">
     <xsl:value-of select="url"/>
    </a>
   </p>