From: Claudio Sacerdoti Coen Date: Tue, 19 Feb 2002 18:01:27 +0000 (+0000) Subject: The list of persons in the "By Site" ordering is now also X-Git-Tag: V_0_3_0_debian_8~291 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9152ee5971532f9ad3525e64c8102a930206027c;p=helm.git The list of persons in the "By Site" ordering is now also ordered by member status inside the site. Probably, some more informations will be added soon (e.g. "site leader", or "work-package leader" etc.) --- diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile index 00377aa71..db2933ce6 100644 --- a/helm/mowgli/home/html/Makefile +++ b/helm/mowgli/home/html/Makefile @@ -40,8 +40,6 @@ PEOPLE = \ people/nijmegen/wiedijk.html \ people/trusted-logic/bolignano.html -PEOPLE_SOURCE = $(PEOPLE:%.html=$(XMLROOT)/%.xml) - DOCUMENTS = \ index.html \ home.html \ @@ -163,24 +161,9 @@ project-objectives.html: $(XMLROOT)/project-objectives.xml \ $(XSLROOT)/xhtml-content.xsl $(XSLTP) --param path_to_top "'.'" -o $@ $(XSLROOT)/xhtml-content.xsl $< -people-list.html: $(XSLROOT)/person-entry.xsl $(XSLROOT)/people-list.xsl $(PEOPLE_SOURCE) - ( \ - echo "" >/tmp/people-list.xml; \ - SITES=`cd $(XMLROOT)/sites; ls *.xml | cut -d'.' -f1`; \ - for i in $$SITES; \ - do \ - echo "" >>/tmp/people-list.xml; \ - SITE_PEOPLE=`cd $(XMLROOT)/people/$$i; ls *.xml | cut -d'.' -f1`; \ - for j in $$SITE_PEOPLE; \ - do \ - echo "" >>/tmp/people-list.xml; \ - done; \ - echo "" >>/tmp/people-list.xml; \ - done; \ - echo "" >>/tmp/people-list.xml \ - ) - $(XSLTP) -o people-list.html $(XSLROOT)/people-list.xsl /tmp/people-list.xml -# rm -rf /tmp/people-list.xml +people-list.html: $(XMLROOT)/people/index.xml $(XSLROOT)/person-entry.xsl \ + $(XSLROOT)/people-list.xsl + $(XSLTP) -o $@ $(XSLROOT)/people-list.xsl $< consortium.html: $(XMLROOT)/consortium.xml \ $(XSLROOT)/consortium.xsl diff --git a/helm/mowgli/home/xml/people/index.xml b/helm/mowgli/home/xml/people/index.xml new file mode 100644 index 000000000..e4a0f7417 --- /dev/null +++ b/helm/mowgli/home/xml/people/index.xml @@ -0,0 +1,57 @@ + + + + + + + +]> + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/mowgli/home/xsl/people-list.xsl b/helm/mowgli/home/xsl/people-list.xsl index a40d62272..351ca3418 100644 --- a/helm/mowgli/home/xsl/people-list.xsl +++ b/helm/mowgli/home/xsl/people-list.xsl @@ -78,9 +78,7 @@ - - - +