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 \
$(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: