]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/html/Makefile
Contract added to members area.
[helm.git] / helm / mowgli / home / html / Makefile
index db2933ce61f333b241c6c33de2338b30bf89032b..45ed6c994b26a08657268b7ff6f48a09e2896027 100644 (file)
@@ -232,6 +232,8 @@ install: $(DOCUMENTS)
        mkdir -p $(DESTDIR)/style
        cp ../style/*.css $(DESTDIR)/style
        cp ../htaccess $(DESTDIR)/html/members/.htaccess
+       mkdir -p $(DESTDIR)/html/members/contract
+       cp ../misc/contract/*.* $(DESTDIR)/html/members/contract
        sed s/menu\\.html/html\\/menu\\.html/ <index.html | sed s/home\\.html/html\\/home\\.html/ >$(DESTDIR)/index.html
 
 uninstall: