X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fhelp%2FC%2FMakefile;h=b78d325de8a36049f887afb33de46f7cbb09bbc9;hb=87bef7804f0856b8ef7593d7512cecda2f36773f;hp=bdffeb5e3e36aa9597555a86e92b47b0a4e0c521;hpb=7f56b88d499cebba2646adf6e8f28cdf2b215a44;p=helm.git

diff --git a/matita/matita/help/C/Makefile b/matita/matita/help/C/Makefile
index bdffeb5e3..b78d325de 100644
--- a/matita/matita/help/C/Makefile
+++ b/matita/matita/help/C/Makefile
@@ -1,13 +1,8 @@
-
-#include ../../../Makefile.defs
-
 XSLTPROC=xsltproc
 XHTML_XSL=xsl/matita-xhtml.xsl
 MAIN=matita.xml
 DEPS := $(wildcard *.xml)
 
-DESTDIR = /usr/local/share/doc/matita/
-
 all: quickref-stamp html-stamp pdf-stamp
 
 quickref-stamp: tactics_quickref.xml declarative_tactics_quickref.xml
@@ -21,6 +16,9 @@ declarative_tactics_quickref.xml: xsl/tactic_quickref.xsl sec_declarative_tactic
 html: quickref-stamp html-stamp
 html-stamp: $(MAIN) $(DEPS) $(XHTML_XSL)
 	$(XSLTPROC) $(XHTML_XSL) $<
+	cp *.css html
+	mv *.html html
+	cp -R figures/* html/figures/
 	touch $@
 
 pdf: quickref-stamp pdf-stamp
@@ -34,18 +32,6 @@ pdf-stamp: $(patsubst %.xml,%.pdf,$(MAIN))
 %.ps: %.xml
 	dblatex -r scripts/fix-symbols.sh -t ps $<
 
-install: install-html install-pdf
-install-pdf: pdf-stamp
-	mkdir -p $(DESTDIR)/pdf
-	cp matita.pdf $(DESTDIR)/pdf
-
-install-html: html-stamp 
-	mkdir -p $(DESTDIR)/html
-	cp *.html *.css $(DESTDIR)/html
-	test -d $(DESTDIR)/html/figures || mkdir $(DESTDIR)/html/figures
-	cp figures/* $(DESTDIR)/html/figures/
-
 clean:
-	rm -f *.html *.pdf *.ps *.dvi *.tex
+	rm -f html/*.html html/*.css html/figures/* *.pdf *.ps *.dvi *.tex
 	rm -f *-stamp 
-