]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/html/Makefile
OMDoc link fixed.
[helm.git] / helm / mowgli / home / html / Makefile
index 03f9be93d48c5a4c483baebe94b01dd0be631ae1..d75d854ba28db919692d856ed72092f52c632952 100644 (file)
@@ -175,4 +175,5 @@ uninstall:
        rm -rf $(DESTDIR)/*
 
 $(XSLROOT)/%.xsl : $(XSLROOT)/common.xsl
+$(DOCUMENTS) : $(XSLROOT)/common.xsl