Adding JMCR-Stable version

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

diff --git a/JMCR-Stable/real-world application/jigsaw/src/org/w3c/jigedit/filters/Makefile b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/jigedit/filters/Makefile
new file mode 100644 (file)
index 0000000..256f1c7
--- /dev/null
+++ b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/jigedit/filters/Makefile
@@ -0,0 +1,17 @@
+PACKAGE="org.w3c.jigedit.filters"
+
+JIGSAWFILES = \
+       DeletedEntry.java \
+       GrepPutFilter.java \
+       JigEditAclFilter.java \
+       SimpleGrepFilter.java \
+       PutFilter.java \
+       PutedEntry.java \
+       PutListFrame.java \
+       PutListResource.java \
+       TidyPutFilter.java
+
+FILES = $(JIGSAWFILES)
+
+TOP=../../../../..
+include $(TOP)/makefiles/file.make