]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/bin/index/Makefile
mechanizing the generation of index files for λδ web site
[helm.git] / helm / www / lambdadelta / bin / index / Makefile
diff --git a/helm/www/lambdadelta/bin/index/Makefile b/helm/www/lambdadelta/bin/index/Makefile
new file mode 100644 (file)
index 0000000..faf8860
--- /dev/null
@@ -0,0 +1,10 @@
+EXECS = index
+
+REQUIRES = unix
+
+include ../Makefile.common
+
+test:
+#      @$(MAKE) --no-print-directory -C ../../ www
+
+.PHONY: test