- Change build process so that javadoc documentation is built

	  by "make" in the "docs" directory.

diff --git a/Build b/Build
new file mode 100755 (executable)
index 0000000..2de5376
--- /dev/null
+++ b/Build
@@ -0,0 +1,9 @@
+#!/bin/sh
+
+# $Id: Build,v 1.1 2002-11-17 23:29:54 mike Exp $
+
+: ${MAKE=make}
+for dir in src/org/z3950/zing/cql test/random docs; do
+       echo "=== Building in $dir ==="
+       ( cd $dir; $MAKE ${@+"$@"} )
+done

diff --git a/Makefile b/Makefile
new file mode 100644 (file)
index 0000000..2836ab6
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,8 @@
+# $Id: Makefile,v 1.1 2002-11-17 23:29:55 mike Exp $
+
+**make-default**:
+       ./Build
+
+clean:
+       ./Build clean
+

diff --git a/docs/Makefile b/docs/Makefile
new file mode 100644 (file)
index 0000000..9a2b3e2
--- /dev/null
+++ b/docs/Makefile
@@ -0,0 +1,20 @@
+# $Id: Makefile,v 1.1 2002-11-17 23:29:55 mike Exp $
+
+all: overview-tree.html
+
+overview-tree.html: ../src/org/z3950/zing/cql/*.java
+       nice javadoc -classpath ../src \
+               -author -version -windowtitle cql-java org.z3950.zing.cql
+
+clean:
+       rm -rf  allclasses-frame.html \
+               deprecated-list.html \
+               help-doc.html \
+               index-all.html \
+               index.html \
+               org \
+               overview-tree.html \
+               package-list \
+               packages.html \
+               serialized-form.html \
+               stylesheet.css

diff --git a/docs/README b/docs/README
deleted file mode 100644 (file)
index 1b55b71..0000000
--- a/docs/README
+++ /dev/null
@@ -1,4 +0,0 @@
-$Id: README,v 1.2 2002-11-03 16:49:38 mike Exp $
-
-Automatically-generated documentation should appear here.
-cd ../src/org/z3950/zing/cql && make javadocs

diff --git a/test/random/Makefile b/test/random/Makefile
new file mode 100644 (file)
index 0000000..b6054f9
--- /dev/null
+++ b/test/random/Makefile
@@ -0,0 +1,8 @@
+# $Id: Makefile,v 1.1 2002-11-17 23:29:55 mike Exp $
+
+all:
+       ./mkrandom 100
+
+clean:
+       @echo "Nothing to do to 'make clean'"
+