Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / real-world application / jigsaw / src / org / Makefile

diff --git a/JMCR-Stable/real-world application/jigsaw/src/org/Makefile b/JMCR-Stable/real-world application/jigsaw/src/org/Makefile
new file mode 100644 (file)
index 0000000..a6c39c4
--- /dev/null
+++ b/JMCR-Stable/real-world application/jigsaw/src/org/Makefile
@@ -0,0 +1,14 @@
+PACKAGE="org"
+
+JIGSAWPACKAGES = \
+       w3c
+
+PACKAGES = $(JIGSAWPACKAGES)
+
+TOP=../..
+include $(TOP)/makefiles/package.make
+
+jigsawdoc::
+       rm -rf ../../../Doc/Programmer/api/*
+       javadoc -J-ms32m -J-mx64m -d ../../../Doc/Programmer/api/ \
+               `make -s dumpjigsawpackages`