H=@
-TAGS = www up-html \
+TAGS = www up-html up-css up-images up-download \
lint-xml index lddl install-xml \
test-html html install-html \
install-jed install-bib install-2 install-1 install-coq \
install-automath install-v install-matita \
-LDURL = http://lambdadelta.info/
+# LDURL = http://lambdadelta.info/
+LDURL = http://helm.cs.unibo.it/lambdadelta/
SITEDIR = html
ETCDIR = etc
install-coq:
@echo " INSTALL coq"
- $(H)ssh $(REMOTE) "cd $(RSTATICDIR)/coq && tar -xzf ../../../lambdadelta/download/lambdadelta_1.tar.gz && . ../../../lambdadelta/etc/to_text.sh v"
+ $(H)ssh $(REMOTE) "cd $(RSTATICDIR)/coq && tar -xjf ../../../lambdadelta/download/lambdadelta_1A.tar.bz2 && . ../../../lambdadelta/etc/to_text.sh v"
install-v: $(HELENADIR)/$(COQ)
@echo " INSTALL $(notdir $<)"
$(H)scp $< $(DOWNDIR)
up-html:
- @echo " UPDATE $(RHOMEDIR)/html"
+ @echo " UPDATE $(RHOMEDIR)/html/"
$(H)scp -q -r html $(RHOMEDIR)
+up-css:
+ @echo " UPDATE $(RHOMEDIR)/css/"
+ $(H)scp -q -r css $(RHOMEDIR)
+
+up-images:
+ @echo " UPDATE $(RHOMEDIR)/images/"
+ $(H)scp -q -r images $(RHOMEDIR)
+
up-download:
- @echo " UPDATE $(RHOMEDIR)/download"
+ @echo " UPDATE $(RHOMEDIR)/download/"
$(H)scp -q -r download $(RHOMEDIR)
%.ld: