X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fhtml%2FMakefile;h=d75d854ba28db919692d856ed72092f52c632952;hb=7bc87a28e2f852391a9f4d3d1b3eb4d128633d9d;hp=03f9be93d48c5a4c483baebe94b01dd0be631ae1;hpb=7f82c382166aefe91da488d4ff7d37c0e2389352;p=helm.git

diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile
index 03f9be93d..d75d854ba 100644
--- a/helm/mowgli/home/html/Makefile
+++ b/helm/mowgli/home/html/Makefile
@@ -175,4 +175,5 @@ uninstall:
 	rm -rf $(DESTDIR)/*
 
 $(XSLROOT)/%.xsl : $(XSLROOT)/common.xsl
+$(DOCUMENTS) : $(XSLROOT)/common.xsl