From: Ferruccio Guidi Date: Sat, 29 Sep 2012 21:51:19 +0000 (+0000) Subject: bugfix in Makefiles X-Git-Tag: make_still_working~1500 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a075b56c257c63d10b85b3f130d2286366ddc165;p=helm.git bugfix in Makefiles --- diff --git a/helm/www/lambda_delta/BTM.html b/helm/www/lambda_delta/BTM.html index 010147746..41c28a032 100644 --- a/helm/www/lambda_delta/BTM.html +++ b/helm/www/lambda_delta/BTM.html @@ -20,6 +20,6 @@
-
[Spacer]

[Valid XHTML 1.1][Valid CSS level 2][Generated from XML via XSL][PNG used here][Viewable with any browser]

Last update: 2012-09-29T19:32:27+02:00
+
[Spacer]

[Valid XHTML 1.1][Valid CSS level 2][Generated from XML via XSL][PNG used here][Viewable with any browser]

Last update: 2012-09-29T23:49:46+02:00
diff --git a/helm/www/lambda_delta/apps_2.html b/helm/www/lambda_delta/apps_2.html index 9ebf3a8e0..e51042f00 100644 --- a/helm/www/lambda_delta/apps_2.html +++ b/helm/www/lambda_delta/apps_2.html @@ -32,7 +32,7 @@
Here is a numerical acount of the specification's contents and its timeline.
-
+
categoryobjects




sizesfiles5bytes13143

propositionstheorems4lemmas1total5
conceptsdeclared3defined10total13
  • 2012 February 24. The Applications directory is started.
@@ -57,6 +57,6 @@
The source files are grouped in directories, one for each component.
-
[Spacer]

[Valid XHTML 1.1][Valid CSS level 2][Generated from XML via XSL][PNG used here][Viewable with any browser]

Last update: 2012-09-29T19:32:27+02:00
+
[Spacer]

[Valid XHTML 1.1][Valid CSS level 2][Generated from XML via XSL][PNG used here][Viewable with any browser]

Last update: 2012-09-29T23:49:46+02:00
diff --git a/helm/www/lambda_delta/basic_2.html b/helm/www/lambda_delta/basic_2.html index 01f3ea9d6..9bb35569b 100644 --- a/helm/www/lambda_delta/basic_2.html +++ b/helm/www/lambda_delta/basic_2.html @@ -29,7 +29,7 @@
Here is a numerical acount of the specification's contents and its timeline.
-
+
categoryobjects




sizesfiles190bytes718106

propositionstheorems68lemmas859total927
conceptsdeclared40defined71total111
  • In progress. Context-sensitive subject equivalence for native type assignment. @@ -80,6 +80,6 @@
    The source files are grouped in directories, one for each component.
    -
    [Spacer]

    [Valid XHTML 1.1][Valid CSS level 2][Generated from XML via XSL][PNG used here][Viewable with any browser]

    Last update: 2012-09-29T19:32:27+02:00
    +
    [Spacer]

    [Valid XHTML 1.1][Valid CSS level 2][Generated from XML via XSL][PNG used here][Viewable with any browser]

    Last update: 2012-09-29T23:49:46+02:00
    diff --git a/helm/www/lambda_delta/bin/xhtbl/Makefile b/helm/www/lambda_delta/bin/xhtbl/Makefile index 83fa1ba12..7aa0f2390 100644 --- a/helm/www/lambda_delta/bin/xhtbl/Makefile +++ b/helm/www/lambda_delta/bin/xhtbl/Makefile @@ -18,7 +18,7 @@ HOMEDIR = ../../ TBLDIRS = $(SRCDIR) $(ETCDIR) LDWS = $(shell find $(SRCDIR) -name "*.ldw.xml") -TBLS = $(shell find $(TBLDIRS) -name "*.tbl") +TBLS = $(shell find -L $(TBLDIRS) -name "*.tbl") XSLS = xhtbl.xsl $(patsubst %.tbl, %.xsl, $(notdir $(TBLS))) HTMLS = $(patsubst %.ldw.xml, $(HOMEDIR)%.html, $(notdir $(LDWS))) LDWEB = ld_web.xsl ld_web_root.xsl ld_web_library.xsl